Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | typecheckedsources no more errors except holes | Yuchen Pei | 2022-06-03 | 1 | -428/+224 |
| | |||||
* | 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 |
| | | | | This makes identifiers in TH expression like 'value or ''Type clickable in Haskell code explorer | ||||
* | 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 ↵ | alexwl | 2018-10-09 | 2 | -60/+173 |
| | | | | supported yet. | ||||
* | Initial commit | alexwl | 2018-10-02 | 2 | -0/+1729 |