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 | bugfix | Péter Diviánszky |
2016-05-05 | improve pretty printing & try to fix local function handling | Péter Diviánszky |
2016-05-05 | show error location in recheck | 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-05 | refactoring | Péter Diviánszky |
2016-05-04 | split Infer.hs | 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 | better show for let expressions; fix a bug in type class desugaring | Péter Diviánszky |
2016-05-03 | refactoring | Péter Diviánszky |
2016-05-03 | refactoring | Péter Diviánszky |
2016-05-03 | use less wildcards | Péter Diviánszky |
2016-05-03 | fix: parens around operators | Péter Diviánszky |
2016-05-03 | shorten more lambdas | Péter Diviánszky |
2016-05-03 | fix pretty print parens | Péter Diviánszky |
2016-05-03 | refactoring | Péter Diviánszky |
2016-05-03 | refactoring | Péter Diviánszky |
2016-05-03 | split Infer.hs | Péter Diviánszky |
2016-05-03 | refactoring | Péter Diviánszky |
2016-05-03 | remove more color formattins from out files | Péter Diviánszky |
2016-05-03 | support mutually defined constants (first version) | Péter Diviánszky |
2016-05-02 | more list syntax in pretty print | Péter Diviánszky |
2016-05-02 | use [] instead of Nil in pretty print | Péter Diviánszky |
2016-05-02 | use (:) instead of Cons everywhere | Péter Diviánszky |
2016-05-02 | follow compiler API change | Péter Diviánszky |
2016-05-02 | improve layout of warning | Péter Diviánszky |
2016-05-02 | complete pShow on patterns; bugfix; more uncovered warning tests | Péter Diviánszky |
2016-05-01 | removing coloring from .out files | Péter Diviánszky |
2016-05-01 | update .out file | Péter Diviánszky |
2016-05-01 | improve pretty print layout & show desugared source code in .out files | Péter Diviánszky |
2016-05-01 | better namespace handling in pretty print | Péter Diviánszky |