Started with actually freeing terms that are not used anymore
[lambda.git] / mem.c
2018-05-17 Mart LubbersMerge branch 'master' of git.martlubbers.net:lambda
2018-05-17 Mart Lubbersadd alpha renaming
2018-05-16 Mart LubbersFix reduction, add declarations
2018-05-15 Mart LubbersInitial commit