strictness, ci
[minfp.git] / .gitignore
2019-07-31 Mart Lubbersstrictness, ci master
2019-03-27 Mart LubbersMerge branch 'master' of git.martlubbers.net:minfp
2019-03-27 Mart Lubberstuples are slow in parsing
2019-03-19 Mart Lubbersrename main program
2019-03-01 Mart Lubbersprepare for infix
2019-02-08 Mart Lubberschecker update
2019-02-08 Mart LubbersInitial commit