Age | Commit message (Expand) | Author |
---|---|---|
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-22 | reject function alternatives with different arity | Péter Diviánszky |