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 |
index : lambdacube-compiler.git | ||
summaryrefslogtreecommitdiff |
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 |