https://git.martlubbers.net - lambda.git/search

2018-05-17	Mart Lubbers	Add grammar	commit \| commitdiff \| tree
2018-05-17	Mart Lubbers	Fix memory leaks and verbosify reduction	commit \| commitdiff \| tree
2018-05-17	Mart Lubbers	Started with actually freeing terms that are not used...	commit \| commitdiff \| tree
2018-05-17	Mart Lubbers	alpha	commit \| commitdiff \| tree
2018-05-17	Mart Lubbers	Merge branch 'master' of git.martlubbers.net:lambda	commit \| commitdiff \| tree
2018-05-17	Mart Lubbers	add alpha renaming	commit \| commitdiff \| tree
2018-05-17	Mart Lubbers	bork	commit \| commitdiff \| tree
2018-05-16	Mart Lubbers	reduction optimization	commit \| commitdiff \| tree
2018-05-16	Mart Lubbers	remove header	commit \| commitdiff \| tree
2018-05-16	Mart Lubbers	reduce rules arithmetics in preamble	commit \| commitdiff \| tree
2018-05-16	Mart Lubbers	ADd printing of decls	commit \| commitdiff \| tree
2018-05-16	Mart Lubbers	complete preable	commit \| commitdiff \| tree
2018-05-16	Mart Lubbers	Change evaluation strategy to normal order	commit \| commitdiff \| tree
2018-05-16	Mart Lubbers	Support multiargument lambda's	commit \| commitdiff \| tree
2018-05-16	Mart Lubbers	Fix reduction, add declarations	commit \| commitdiff \| tree
2018-05-15	Mart Lubbers	Initial commit	commit \| commitdiff \| tree

KISS lambda interpreter in C