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