Age | Commit message (Expand) | Author |
---|---|---|
2016-05-07 | introduce let in core (not used yet) | Péter Diviánszky |
2016-05-06 | refactoring | Péter Diviánszky |
2016-05-06 | refactoring | Péter Diviánszky |
2016-05-06 | tweak hnf handling | Péter Diviánszky |
2016-05-06 | refactoring | Péter Diviánszky |
2016-05-06 | show typechecked source code in .out files & fix local function handling (again) | Péter Diviánszky |
2016-05-05 | improve pretty printing & try to fix local function handling | Péter Diviánszky |
2016-05-05 | refactoring | Péter Diviánszky |
2016-05-05 | simplify local function handling | Péter Diviánszky |
2016-05-05 | refactoring | Péter Diviánszky |
2016-05-04 | implement constraint kinds | Péter Diviánszky |
2016-05-04 | refactoring | Péter Diviánszky |
2016-05-04 | improve pretty print | Péter Diviánszky |
2016-05-04 | fix pretty print | Péter Diviánszky |
2016-05-04 | print reduced result in .out file | Péter Diviánszky |
2016-05-04 | refactoring | Péter Diviánszky |
2016-05-04 | bugfix: do not overnormalize | Péter Diviánszky |
2016-05-04 | refactoring | Péter Diviánszky |
2016-05-04 | refactoring | Péter Diviánszky |
2016-05-04 | refactoring | Péter Diviánszky |
2016-05-04 | refactoring | Péter Diviánszky |
2016-05-04 | refactoring | Péter Diviánszky |
2016-05-04 | refactoring | Péter Diviánszky |
2016-05-03 | split Infer.hs | Péter Diviánszky |