Age | Commit message (Expand) | Author |
---|---|---|
2016-02-01 | erease CaseFun's type parameters | Péter Diviánszky |
2016-02-01 | fix bug; CaseFun's last argument is neutral | Péter Diviánszky |
2016-02-01 | erease lambda argument type and constructor type parameters | Péter Diviánszky |
2016-01-29 | hide CoreToIR's expression representation | Péter Diviánszky |
2016-01-25 | apply hlint suggestions | Péter Diviánszky |
2016-01-23 | major refactoring | Péter Diviánszky |
2016-01-22 | better redefine error messages; move another wip test | Péter Diviánszky |
2016-01-22 | add & delete .out files | Péter Diviánszky |
2016-01-22 | work on closed expression recognition; fix 3 redefine tests | Péter Diviánszky |
2016-01-22 | accept wip result | Péter Diviánszky |
2016-01-21 | Add gadt related tests | Andor Penzes |
2016-01-21 | Move adt test cases to a dir | Andor Penzes |