strictness, ci
[minfp.git] / check.dcl
2019-07-31 Mart Lubbersstrictness, ci master
2019-03-27 Mart LubbersMerge branch 'master' of git.martlubbers.net:minfp
2019-03-27 Mart Lubbersstart with adts
2019-03-20 Mart Lubberssomething something tuples
2019-03-18 Mart Lubbersmutual recursion type inference
2019-03-06 Mart Lubbersinterpret
2019-03-05 Mart Lubberscleanup
2019-03-05 Mart Lubberscompiler bug bug
2019-03-04 Mart Lubberstry letrec
2019-02-21 Mart Lubbersmore
2019-02-11 Mart Lubbersmore checking and gen
2019-02-08 Mart Lubberschecker update
2019-02-08 Mart LubbersInitial commit