| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-01-16 | Semigroup-Monoid Proposal fixes: GHC 8.4 compat | Kosyrev Serge |
| 2016-06-10 | self adjusting DeBruijn variables | Péter Diviánszky |
| 2016-06-09 | use splay lists | Péter Diviánszky |
| 2016-06-02 | refactoring | Péter Diviánszky |
| 2016-05-24 | refactoring; add hnf marks | Péter Diviánszky |
 |
index : lambdacube-compiler.git | |
| summaryrefslogtreecommitdiff |