Age | Commit message (Expand) | Author |
---|---|---|
2016-02-14 | update TODOs | Péter Diviánszky |
2016-02-13 | refactoring (use infer monad) | Péter Diviánszky |
2016-02-10 | use type checker's Exp representation in CoreToGLSL.hs. Still 3 test cases ti... | Péter Diviánszky |
2016-02-10 | update todo | Csaba Hruska |
2016-02-09 | add todo | Csaba Hruska |
2016-02-09 | update todo | Csaba Hruska |
2016-02-09 | begin to refactor CoreToIR.hs: use de bruijn indices & reordering | Péter Diviánszky |
2016-02-08 | store fixity info next to definitions | Péter Diviánszky |
2016-02-08 | update todo | Csaba Hruska |
2016-02-08 | add compiler version to pipeline info | Csaba Hruska |
2016-02-08 | reorder TODOs | Péter Diviánszky |
2016-02-07 | work on the elimination of ConName | Péter Diviánszky |
2016-02-07 | cleanup constraint reduction | Péter Diviánszky |
2016-02-07 | add todo | Csaba Hruska |
2016-02-07 | Updated first blog post outline. | Patai Gergely |
2016-02-05 | update TODOs | Péter Diviánszky |
2016-02-05 | add todo | Csaba Hruska |
2016-02-05 | add todo | Csaba Hruska |
2016-02-05 | add todo | Csaba Hruska |
2016-02-04 | update todo | Csaba Hruska |
2016-02-04 | update todo | Csaba Hruska |
2016-02-04 | add todo | Csaba Hruska |
2016-02-04 | always include builtins path | Csaba Hruska |
2016-02-04 | update todo | Csaba Hruska |
2016-02-04 | update TODOs | Péter Diviánszky |
2016-02-04 | definitions are allowed in any order (not just bottom-up) | Péter Diviánszky |
2016-02-03 | more uniform handling of literals | Péter Diviánszky |
2016-02-03 | new idea in todo | Csaba Hruska |
2016-02-03 | more precise one line comment | Péter Diviánszky |
2016-02-02 | reorder TODO items | Péter Diviánszky |
2016-02-02 | adjust todo | Csaba Hruska |
2016-02-02 | adjust todo | Csaba Hruska |
2016-02-01 | update TODOs | Péter Diviánszky |
2016-01-29 | schedule some tasks | Csaba Hruska |
2016-01-28 | add todo | Csaba Hruska |
2016-01-27 | add TODO item | Péter Diviánszky |
2016-01-26 | add TODO items | Péter Diviánszky |
2016-01-25 | update TODOs | Péter Diviánszky |
2016-01-23 | update TODO | Csaba Hruska |
2016-01-23 | major refactoring | Péter Diviánszky |
2016-01-22 | update TODOs | Péter Diviánszky |
2016-01-22 | tried to speed up with cached max. de bruijn indices (no speedup at the moment) | Péter Diviánszky |
2016-01-21 | add todo | Csaba Hruska |
2016-01-20 | add todo | Csaba Hruska |
2016-01-20 | support type synonyms | Péter Diviánszky |
2016-01-20 | support simple import lists (hiding + explicit) | Péter Diviánszky |
2016-01-20 | update todo | Csaba Hruska |
2016-01-20 | add TODO items | Péter Diviánszky |
2016-01-19 | update TODOs | Péter Diviánszky |
2016-01-19 | dates | Péter Diviánszky |