Age | Commit message (Expand) | Author |
---|---|---|
2016-02-03 | refactor literal parsing | Péter Diviánszky |
2016-02-03 | refactor identifier parsing | Péter Diviánszky |
2016-02-02 | Add some as-patterns tests. | Andor Penzes |
2016-02-02 | If something defined in other file do not lookup in the source code. | Andor Penzes |
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 | add passing wip tests | 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-02-01 | longer SampleMaterial | Csaba Hruska |
2016-02-01 | erease CaseFun's type parameters | Péter Diviánszky |
2016-02-01 | fix bug; CaseFun's last argument is neutral | Péter Diviánszky |
2016-02-01 | erease lambda argument type and constructor type parameters | Péter Diviánszky |
2016-01-31 | add test | Csaba Hruska |
2016-01-29 | fix let expression type | Péter Diviánszky |
2016-01-29 | hide CoreToIR's expression representation | Péter Diviánszky |
2016-01-29 | remove some expType calls | Péter Diviánszky |
2016-01-28 | move Meta and Assign into a separate type | Péter Diviánszky |
2016-01-28 | refactor focus | Péter Diviánszky |
2016-01-28 | refactoring | Péter Diviánszky |
2016-01-27 | more comples SampleMaterial | Csaba Hruska |
2016-01-27 | first try to move wired-in constraint reductions into the library | Péter Diviánszky |
2016-01-27 | less wired-in reductions in the compiler | Péter Diviánszky |
2016-01-27 | refactoring: use less STyped | Péter Diviánszky |
2016-01-26 | show tooltips in type namespace | Péter Diviánszky |
2016-01-26 | reorder definitions in Infer.hs | Péter Diviánszky |
2016-01-25 | update test hint | Csaba Hruska |
2016-01-25 | new test | Csaba Hruska |
2016-01-25 | add wip tag | Csaba Hruska |
2016-01-25 | new tests | Csaba Hruska |
2016-01-25 | reorder test notes | Csaba Hruska |
2016-01-25 | new test | Csaba Hruska |
2016-01-25 | add wip tag | Csaba Hruska |
2016-01-25 | new test | Csaba Hruska |
2016-01-25 | new tests | Csaba Hruska |
2016-01-25 | apply hlint suggestions | Péter Diviánszky |
2016-01-23 | major refactoring | Péter Diviánszky |
2016-01-23 | cleanup | Péter Diviánszky |
2016-01-22 | improve test | Csaba Hruska |
2016-01-22 | test notes | Csaba Hruska |
2016-01-22 | add tests | Csaba Hruska |
2016-01-22 | do not allow multiple alternatives for 0 arity functions | Péter Diviánszky |
2016-01-22 | support guards in case alternatives | Péter Diviánszky |
2016-01-22 | add tests | Csaba Hruska |
2016-01-22 | reject function alternatives with different arity | Péter Diviánszky |
2016-01-22 | new tests | Csaba Hruska |
2016-01-22 | support multiple guards | Péter Diviánszky |
2016-01-22 | support more pattern literals | Péter Diviánszky |
2016-01-22 | check multiple pattern var names | Péter Diviánszky |