2019-07-31 | Mart Lubbers | strictness, ci master | commit | commitdiff |
2019-03-27 | Mart Lubbers | Merge branch 'master' of git.martlubbers.net:minfp | commit | commitdiff |
2019-03-27 | Mart Lubbers | start with adts | commit | commitdiff |
2019-03-20 | Mart Lubbers | something something tuples | commit | commitdiff |
2019-03-18 | Mart Lubbers | mutual recursion type inference | commit | commitdiff |
2019-03-06 | Mart Lubbers | interpret | commit | commitdiff |
2019-03-05 | Mart Lubbers | cleanup | commit | commitdiff |
2019-03-05 | Mart Lubbers | compiler bug bug | 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 |