lambda.git
2018-05-17 Mart LubbersStarted with actually freeing terms that are not used...
2018-05-17 Mart Lubbersalpha
2018-05-17 Mart LubbersMerge branch 'master' of git.martlubbers.net:lambda
2018-05-17 Mart Lubbersadd alpha renaming
2018-05-17 Mart Lubbersbork
2018-05-16 Mart Lubbersreduction optimization
2018-05-16 Mart Lubbersremove header
2018-05-16 Mart Lubbersreduce rules arithmetics in preamble
2018-05-16 Mart LubbersADd printing of decls
2018-05-16 Mart Lubberscomplete preable
2018-05-16 Mart LubbersChange evaluation strategy to normal order
2018-05-16 Mart LubbersSupport multiargument lambda's
2018-05-16 Mart LubbersFix reduction, add declarations
2018-05-15 Mart LubbersInitial commit