change printing
[lambda.git] / lambda.l
2018-05-22 Mart Lubbersadd strictness
2018-05-18 Mart Lubbersliterals
2018-05-17 Mart LubbersStarted with actually freeing terms that are not used...
2018-05-16 Mart LubbersFix reduction, add declarations
2018-05-15 Mart LubbersInitial commit