repositories / minfp.git / history
| 2019-03-20 | Mart Lubbers | fix check | tree | commitdiff |
| 2019-03-19 | Mart Lubbers | readme | tree | commitdiff |
| 2019-03-19 | Mart Lubbers | Fix bug in apply checking | tree | commitdiff |
| 2019-03-18 | Mart Lubbers | problematic testcase | tree | commitdiff |
| 2019-03-18 | Mart Lubbers | mutual recursion type inference | tree | commitdiff |
| 2019-03-15 | Mart Lubbers | componetns | tree | commitdiff |
| 2019-03-14 | Mart Lubbers | typing | tree | commitdiff |
| 2019-03-11 | Mart Lubbers | updates' | tree | commitdiff |
| 2019-03-08 | Mart Lubbers | letrec | tree | commitdiff |
| 2019-03-07 | Mart Lubbers | start support for recursive let | tree | commitdiff |
| 2019-03-06 | Mart Lubbers | interpret | tree | commitdiff |
| 2019-03-05 | Mart Lubbers | infer | tree | commitdiff |
| 2019-03-04 | Mart Lubbers | parsing cleaner | tree | commitdiff |
| 2019-03-04 | Mart Lubbers | test | tree | commitdiff |
| 2019-03-01 | Mart Lubbers | preamble | tree | commitdiff |
| 2019-02-21 | Mart Lubbers | more | tree | commitdiff |
| 2019-02-08 | Mart Lubbers | checker update | tree | commitdiff |