Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fixing typecheckedSource | Yuchen Pei | 2022-06-03 | 1 | -93/+104 |
* | renamed source done | Yuchen Pei | 2022-06-03 | 1 | -142/+56 |
* | keep on hacking renamed | Yuchen Pei | 2022-06-02 | 1 | -143/+35 |
* | renamed source | Yuchen Pei | 2022-06-02 | 1 | -58/+26 |
* | Make it compile with GHC-8.8.1 (Stackage nightly-2019-09-28) | alexwl | 2019-09-29 | 2 | -32/+60 |
* | Delete trailing whitespace (#42) | Avi Dessauer | 2019-08-21 | 2 | -142/+142 |
* | Code cleanup: fix warnings | alexwl | 2019-05-17 | 2 | -3/+22 |
* | Add support for GHC 8.6.3 | alexwl | 2018-12-23 | 2 | -78/+581 |
* | Index injectivity annotations | alexwl | 2018-12-10 | 1 | -1/+19 |
* | Index quoted identifiers (Template Haskell) | alexwl | 2018-10-20 | 1 | -0/+33 |
* | Index type constructor in RoleAnnotDecl | alexwl | 2018-10-14 | 1 | -1/+16 |
* | Fix all GHC 8.4.3 compatibility issues. Needs a bit more testing. | alexwl | 2018-10-12 | 2 | -17/+134 |
* | WIP. It compiles with ghc-8.4.3, but not all features of the indexer are supp... | alexwl | 2018-10-09 | 2 | -60/+173 |
* | Initial commit | alexwl | 2018-10-02 | 2 | -0/+1729 |