Age | Commit message (Collapse) | 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 (Collapse) | 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 | |