https://git.martlubbers.net - minfp.git/history

2019-07-31	Mart Lubbers	strictness, ci master	blob \| commitdiff \| raw
2019-03-27	Mart Lubbers	Merge branch 'master' of git.martlubbers.net:minfp	blob \| commitdiff \| raw \| diff to current
2019-03-27	Mart Lubbers	start with adts	blob \| commitdiff \| raw \| diff to current
2019-03-04	Mart Lubbers	cleanup	blob \| commitdiff \| raw \| diff to current
2019-03-04	Mart Lubbers	try letrec	blob \| commitdiff \| raw \| diff to current
2019-03-01	Mart Lubbers	prepare for infix	blob \| commitdiff \| raw \| diff to current
2019-02-08	Mart Lubbers	checker update	blob \| commitdiff \| raw \| diff to current
2019-02-08	Mart Lubbers	Initial commit	blob \| commitdiff \| raw \| diff to current