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

2018-05-23	Mart Lubbers	remove smart allocations, back to bruteforce	commit \| commitdiff \| tree
2018-05-23	Mart Lubbers	fix memory leak	commit \| commitdiff \| tree
2018-05-23	Mart Lubbers	use debruijn indexing	commit \| commitdiff \| tree
2018-05-22	Mart Lubbers	add reference counter for future smarter allocations	commit \| commitdiff \| tree
2018-05-22	Mart Lubbers	add strictness	commit \| commitdiff \| tree
2018-05-22	Mart Lubbers	Readme added	commit \| commitdiff \| tree
2018-05-18	Mart Lubbers	Supposedly streameing	commit \| commitdiff \| tree
2018-05-18	Mart Lubbers	literals	commit \| commitdiff \| tree
2018-05-17	Mart Lubbers	better printing	commit \| commitdiff \| tree
2018-05-17	Mart Lubbers	add fancy printing	commit \| commitdiff \| tree
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

RSS Atom