repositories / lambda.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Started with actually freeing terms that are not used anymore
2018-05-17 Mart LubbersStarted with actually freeing terms that are not used...
commit | commitdiff | tree
2018-05-17 Mart Lubbersalpha
 commit | commitdiff | tree
2018-05-17 Mart LubbersMerge branch 'master' of git.martlubbers.net:lambda
 commit | commitdiff | tree
2018-05-17 Mart Lubbersadd alpha renaming
 commit | commitdiff | tree
2018-05-17 Mart Lubbersbork
 commit | commitdiff | tree
2018-05-16 Mart Lubbersreduction optimization
 commit | commitdiff | tree
2018-05-16 Mart Lubbersremove header
 commit | commitdiff | tree
2018-05-16 Mart Lubbersreduce rules arithmetics in preamble
 commit | commitdiff | tree
2018-05-16 Mart LubbersADd printing of decls
 commit | commitdiff | tree
2018-05-16 Mart Lubberscomplete preable
 commit | commitdiff | tree
2018-05-16 Mart LubbersChange evaluation strategy to normal order
 commit | commitdiff | tree
2018-05-16 Mart LubbersSupport multiargument lambda's
 commit | commitdiff | tree
2018-05-16 Mart LubbersFix reduction, add declarations
 commit | commitdiff | tree
2018-05-15 Mart LubbersInitial commit
 commit | commitdiff | tree
KISS lambda interpreter in C