| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-05-13 | refactoring & fix build | Péter Diviánszky |
| 2016-05-12 | don't show module path | Péter Diviánszky |
| 2016-04-29 | auto expansion of Doc & improved error messages | 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-22 | reject function alternatives with different arity | Péter Diviánszky |
 |
index : lambdacube-compiler.git | |
| summaryrefslogtreecommitdiff |