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

2019-07-31	Mart Lubbers	strictness, ci master	blob \| commitdiff \| raw
2019-03-28	Mart Lubbers	Add structured types for parsing and type checking	blob \| commitdiff \| raw \| diff to current
2019-03-27	Mart Lubbers	own parser combinators	blob \| commitdiff \| raw \| diff to current
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-27	Mart Lubbers	tuples are slow in parsing	blob \| commitdiff \| raw \| diff to current
2019-03-20	Mart Lubbers	something something tuples	blob \| commitdiff \| raw \| diff to current
2019-03-19	Mart Lubbers	Fix bug in apply checking	blob \| commitdiff \| raw \| diff to current
2019-03-06	Mart Lubbers	cleanup	blob \| commitdiff \| raw \| diff to current
2019-03-06	Mart Lubbers	interpret	blob \| commitdiff \| raw \| diff to current
2019-03-05	Mart Lubbers	infer	blob \| commitdiff \| raw \| diff to current
2019-03-04	Mart Lubbers	cleanup	blob \| commitdiff \| raw \| diff to current
2019-03-04	Mart Lubbers	cleanup	blob \| commitdiff \| raw \| diff to current
2019-03-04	Mart Lubbers	parsing cleaner	blob \| commitdiff \| raw \| diff to current
2019-03-04	Mart Lubbers	try letrec	blob \| commitdiff \| raw \| diff to current
2019-03-01	Mart Lubbers	preamble	blob \| commitdiff \| raw \| diff to current
2019-03-01	Mart Lubbers	infix operators	blob \| commitdiff \| raw \| diff to current
2019-03-01	Mart Lubbers	prepare for infix	blob \| commitdiff \| raw \| diff to current
2019-02-21	Mart Lubbers	more	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

RSS Atom