repositories / lambda.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add strictness
2018-05-22 Mart Lubbersadd strictness
 commit | commitdiff | tree
2018-05-22 Mart LubbersReadme added
 commit | commitdiff | tree
2018-05-18 Mart LubbersSupposedly streameing
 commit | commitdiff | tree
2018-05-18 Mart Lubbersliterals
 commit | commitdiff | tree
2018-05-17 Mart Lubbersbetter printing
 commit | commitdiff | tree
2018-05-17 Mart Lubbersadd fancy printing
 commit | commitdiff | tree
2018-05-17 Mart LubbersAdd grammar
 commit | commitdiff | tree
2018-05-17 Mart LubbersFix memory leaks and verbosify reduction
 commit | commitdiff | tree
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