lambda.git
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