Age | Commit message (Collapse) | 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-22 | refactoring: ask less for desugarInfo during parsing; bugfix: fix parser ↵ | Péter Diviánszky | |
monad stack order | |||
2016-04-16 | use module ids in more places; side effect: better error messages | Péter Diviánszky | |
2016-02-29 | renames | Péter Diviánszky | |
2016-02-25 | cleanup test cases | Péter Diviánszky | |