Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | changing to multiple files model | Yuchen Pei | 2022-09-14 | 1 | -10/+9 |
* | removed custom ids for packages and modules | Yuchen Pei | 2022-09-14 | 1 | -10/+6 |
* | fixing namespace typ and val, and relevant link gen | Yuchen Pei | 2022-09-14 | 1 | -8/+13 |
* | fixing the merge due to new ghc version (9.4) | Yuchen Pei | 2022-08-16 | 1 | -9/+10 |
* | Moving file writing to inside org backend | Yuchen Pei | 2022-08-16 | 1 | -6/+20 |
* | removed some unused pragmas | Yuchen Pei | 2022-08-16 | 1 | -4/+0 |
* | handling associated types for classes | Yuchen Pei | 2022-08-16 | 1 | -25/+47 |
* | Preparing for publication. | Yuchen Pei | 2022-07-18 | 1 | -0/+20 |
* | a hole in fieldocc | Yuchen Pei | 2022-07-18 | 1 | -0/+1 |
* | removing hackage url for ids | Yuchen Pei | 2022-07-18 | 1 | -19/+7 |
* | Adding hackage url to top level decl properties | Yuchen Pei | 2022-07-18 | 1 | -20/+35 |
* | Adding org backend. | Yuchen Pei | 2022-07-18 | 1 | -0/+1016 |