Started with actually freeing terms that are not used anymore
[lambda.git] / preamble
2018-05-16 Mart Lubbersreduce rules arithmetics in preamble
2018-05-16 Mart Lubberscomplete preable
2018-05-16 Mart LubbersChange evaluation strategy to normal order