2019-03-19 | Mart Lubbers | rename main program | commit | commitdiff |
2019-03-18 | Mart Lubbers | mutual recursion type inference | commit | commitdiff |
2019-03-14 | Mart Lubbers | make work temporarily | commit | commitdiff |
2019-03-11 | Mart Lubbers | updates' | commit | commitdiff |
2019-03-06 | Mart Lubbers | interpret | commit | commitdiff |
2019-03-05 | Mart Lubbers | cleanup | commit | commitdiff |
2019-03-04 | Mart Lubbers | cleanup | commit | commitdiff |
2019-03-04 | Mart Lubbers | parsing cleaner | commit | commitdiff |
2019-03-04 | Mart Lubbers | try letrec | commit | commitdiff |
2019-02-21 | Mart Lubbers | more | commit | commitdiff |
2019-02-11 | Mart Lubbers | more checking and gen | commit | commitdiff |
2019-02-08 | Mart Lubbers | checker update | commit | commitdiff |
2019-02-08 | Mart Lubbers | Initial commit | commit | commitdiff |