Merge branch 'master' of git.martlubbers.net:lambda
[lambda.git] / main.c
2018-05-16 Mart Lubberscomplete preable
2018-05-16 Mart LubbersFix reduction, add declarations
2018-05-15 Mart LubbersInitial commit