Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-04-22 | refactoring: ask less for desugarInfo during parsing; bugfix: fix parser ↵ | Péter Diviánszky | |
monad stack order | |||
2016-02-15 | refactoring | Péter Diviánszky | |
2016-02-15 | put trace info in .out files | Péter Diviánszky | |
2016-02-12 | switch to megaparsec | Péter Diviánszky | |
2016-02-03 | refactor literal parsing | Péter Diviánszky | |
2016-02-03 | refactor identifier parsing | Péter Diviánszky | |
2016-02-02 | try to speed up parseTerm | Péter Diviánszky | |
2016-02-02 | remove 'try's from lexer | Péter Diviánszky | |
2016-02-01 | use less try | Péter Diviánszky | |
2016-02-01 | bugfix | Péter Diviánszky | |
2016-02-01 | faster section parsing | Péter Diviánszky | |
2016-01-27 | first try to move wired-in constraint reductions into the library | Péter Diviánszky | |
2016-01-23 | major refactoring | Péter Diviánszky | |
2016-01-19 | update test output | Csaba Hruska | |
2016-01-19 | normalise paths and fix self export handling | Csaba Hruska | |