Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |