Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Preparing for publication. | Yuchen Pei | 2022-07-22 | 1 | -0/+20 |
* | a hole in fieldocc | Yuchen Pei | 2022-07-22 | 1 | -0/+1 |
* | removing hackage url for ids | Yuchen Pei | 2022-07-22 | 1 | -19/+7 |
* | Adding hackage url to top level decl properties | Yuchen Pei | 2022-07-22 | 1 | -20/+35 |
* | Adding org backend. | Yuchen Pei | 2022-07-22 | 1 | -0/+1016 |