Age | Commit message (Collapse) | Author | |
---|---|---|---|
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-04-28 | switch to Haskell style syntax in pretty print | Péter Diviánszky | |
2016-04-28 | switch to ansi-wl-pprint | Péter Diviánszky | |
2016-04-28 | better names for free variables | Péter Diviánszky | |
2016-02-15 | put trace info in .out files | Péter Diviánszky | |
2016-02-13 | use different kinf of infos | Péter Diviánszky | |
2016-01-29 | fix let expression type | Péter Diviánszky | |
2016-01-29 | remove some expType calls | Péter Diviánszky | |
2016-01-22 | several improvement to get better tooltips | Péter Diviánszky | |
2016-01-21 | wip refactoring (results better error ranges as a side effect) | Péter Diviánszky | |
2016-01-19 | update test output | Csaba Hruska | |
2016-01-19 | normalise paths and fix self export handling | Csaba Hruska | |