repositories / minfp.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'master' of git.martlubbers.net:minfp
[minfp.git] / tests /
2019-03-27 Mart LubbersMerge branch 'master' of git.martlubbers.net:minfp tree | commitdiff
2019-03-27 Mart Lubberstuples are slow in parsing tree | commitdiff
2019-03-20 Mart Lubberssomething something tuples tree | commitdiff
2019-03-20 Mart Lubbersfix check tree | commitdiff
2019-03-19 Mart Lubbersreadme tree | commitdiff
2019-03-19 Mart LubbersFix bug in apply checking tree | commitdiff
2019-03-18 Mart Lubbersproblematic testcase tree | commitdiff
2019-03-18 Mart Lubbersmutual recursion type inference tree | commitdiff
2019-03-15 Mart Lubberscomponetns tree | commitdiff
2019-03-14 Mart Lubberstyping tree | commitdiff
2019-03-11 Mart Lubbersupdates' tree | commitdiff
2019-03-08 Mart Lubbersletrec tree | commitdiff
2019-03-07 Mart Lubbersstart support for recursive let tree | commitdiff
2019-03-06 Mart Lubbersinterpret tree | commitdiff
2019-03-05 Mart Lubbersinfer tree | commitdiff
2019-03-04 Mart Lubbersparsing cleaner tree | commitdiff
2019-03-04 Mart Lubberstest tree | commitdiff
2019-03-01 Mart Lubberspreamble tree | commitdiff
2019-02-21 Mart Lubbersmore tree | commitdiff
2019-02-08 Mart Lubberschecker update tree | commitdiff