Age | Commit message (Expand) | Author |
---|---|---|
2016-05-13 | refactoring & fix build | Péter Diviánszky |
2016-04-22 | refactoring: ask less for desugarInfo during parsing; bugfix: fix parser mona... | Péter Diviánszky |
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 |