Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | |
2016-04-28 | refactoring | Péter Diviánszky | |
2016-04-28 | refactoring | Péter Diviánszky | |
2016-04-28 | unify Doc types; better expr. pretty print | Péter Diviánszky | |
2016-04-28 | switch to ansi-wl-pprint | Péter Diviánszky | |
2016-04-28 | refactoring | Péter Diviánszky | |
2016-04-28 | refactoring | Péter Diviánszky | |
2016-04-28 | always show parens | Péter Diviánszky | |
2016-04-28 | better names for free variables | Péter Diviánszky | |
2016-04-28 | generate less variable names | Péter Diviánszky | |
2016-04-28 | refactored pretty print framework | Péter Diviánszky | |
2016-04-27 | adjust .out files | Péter Diviánszky | |
2016-04-27 | split module | Péter Diviánszky | |
2016-04-27 | refactoring | Péter Diviánszky | |
2016-04-27 | refactoring | Péter Diviánszky | |
2016-04-27 | refactoring | Péter Diviánszky | |
2016-04-27 | simplification | Péter Diviánszky | |
2016-04-27 | simplification | Péter Diviánszky | |
2016-04-27 | refactor implicit forall handling | Péter Diviánszky | |
2016-04-27 | split modules | Péter Diviánszky | |
2016-04-26 | fix build | Péter Diviánszky | |
2016-04-26 | split desugared source code representation into a separate module | Péter Diviánszky | |
2016-04-26 | refactoring | Péter Diviánszky | |
2016-04-26 | refactoring | Péter Diviánszky | |
2016-04-26 | refactoring | Péter Diviánszky | |
2016-04-26 | refactoring | Péter Diviánszky | |
2016-04-26 | eliminate an error call | Péter Diviánszky | |
2016-04-26 | export SPos (needed by the editor) | Péter Diviánszky | |
2016-04-25 | warn in case of uncovered patterns (first version) | Péter Diviánszky | |
2016-04-25 | emit warnings on unreachable right hand sides | Péter Diviánszky | |
2016-04-25 | cleanup | Péter Diviánszky | |
2016-04-25 | fix build & refactoring | Péter Diviánszky | |
2016-04-25 | refactoring | Péter Diviánszky | |
2016-04-25 | refactoring | Péter Diviánszky | |
2016-04-24 | add Utils module | Péter Diviánszky | |
2016-04-24 | simplification | Péter Diviánszky | |