better printing
[lambda.git] / lambda.l
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