Age | Commit message (Expand) | Author |
---|---|---|
2016-01-31 | disable unused import | Csaba Hruska |
2015-10-04 | add Church-style lambdas | Péter Diviánszky |
2015-10-04 | refactoring: move closer to Bound | Péter Diviánszky |
2015-10-04 | refactoring | Péter Diviánszky |
2015-10-04 | fix another space leak; fix test case | Péter Diviánszky |
2015-10-03 | fix a space leak; this reduces memory usage in the test case a lot but also m... | Péter Diviánszky |
2015-10-02 | simplification | Péter Diviánszky |
2015-10-02 | easier benchmarking | Péter Diviánszky |
2015-10-02 | add a reference | Péter Diviánszky |
2015-10-02 | faster, pure reducer for dependently typed definitions and ADTs | Péter Diviánszky |