lambda.git
2018-05-17 Mart Lubbersadd alpha renaming
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