Age | Commit message (Expand) | Author |
---|---|---|
2015-10-04 | add Church-style lambdas | 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 | easier benchmarking | Péter Diviánszky |
2015-10-02 | faster, pure reducer for dependently typed definitions and ADTs | Péter Diviánszky |