change printing
[lambda.git] / preamble
2018-05-23 Mart Lubbersuse debruijn indexing
2018-05-22 Mart Lubbersadd strictness
2018-05-18 Mart Lubbersliterals
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