Age | Commit message (Expand) | Author |
---|---|---|
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 | 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 | 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 | 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 |
2016-05-01 | refactoring | Péter Diviánszky |
2016-05-01 | refactoring | Péter Diviánszky |
2016-04-30 | fix pretty print syntax | Péter Diviánszky |
2016-04-30 | refactoring | Péter Diviánszky |
2016-04-29 | simplification | Péter Diviánszky |
2016-04-29 | auto expansion of Doc & improved error messages | Péter Diviánszky |
2016-04-29 | refactoring | Péter Diviánszky |
2016-04-29 | refactoring | Péter Diviánszky |
2016-04-29 | refactoring | Péter Diviánszky |
2016-04-29 | export plainShow | Péter Diviánszky |
2016-04-29 | use Doc instead of String is several places | Péter Diviánszky |
2016-04-28 | add missing instance | Péter Diviánszky |
2016-04-28 | switch to Haskell style syntax in pretty print | Péter Diviánszky |
2016-04-28 | refactoring: eliminate custom ESC handling | Péter Diviánszky |
2016-04-28 | refactoring | Péter Diviánszky |
2016-04-28 | fix naming of free variables | Péter Diviánszky |
2016-04-28 | refactoring | Péter Diviánszky |