descriptionnone
last changeWed, 31 Jul 2019 08:31:39 +0000 (10:31 +0200)
shortlog
2019-07-31 Mart Lubbersstrictness, ci master
2019-03-28 Mart LubbersAdd structured types for parsing and type checking
2019-03-28 Mart Lubbersadd grammar
2019-03-27 Mart Lubbersown parser combinators
2019-03-27 Mart LubbersMerge branch 'master' of git.martlubbers.net:minfp
2019-03-27 Mart Lubbersstart with adts
2019-03-27 Mart Lubberstuples are slow in parsing
2019-03-20 Mart Lubberstuples
2019-03-20 Mart Lubberssomething something tuples
2019-03-20 Mart Lubbersfix check
2019-03-19 Mart Lubbersrename main program
2019-03-19 Mart Lubbersreadme
2019-03-19 Mart LubbersFix bug in apply checking
2019-03-18 Mart Lubbersproblematic testcase
2019-03-18 Mart Lubbersmutual recursion type inference
2019-03-18 Mart Lubberscleanup
...
heads
4 years ago master
5 years ago bug