repositories
/
lambda.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
lambda.git
2018-05-22
Mart Lubbers
Readme added
commit
|
commitdiff
|
tree
|
snapshot
2018-05-18
Mart Lubbers
Supposedly streameing
commit
|
commitdiff
|
tree
|
snapshot
2018-05-18
Mart Lubbers
literals
commit
|
commitdiff
|
tree
|
snapshot
2018-05-17
Mart Lubbers
better printing
commit
|
commitdiff
|
tree
|
snapshot
2018-05-17
Mart Lubbers
add fancy printing
commit
|
commitdiff
|
tree
|
snapshot
2018-05-17
Mart Lubbers
Add grammar
commit
|
commitdiff
|
tree
|
snapshot
2018-05-17
Mart Lubbers
Fix memory leaks and verbosify reduction
commit
|
commitdiff
|
tree
|
snapshot
2018-05-17
Mart Lubbers
Started with actually freeing terms that are not used...
commit
|
commitdiff
|
tree
|
snapshot
2018-05-17
Mart Lubbers
alpha
commit
|
commitdiff
|
tree
|
snapshot
2018-05-17
Mart Lubbers
Merge branch 'master' of git.martlubbers.net:lambda
commit
|
commitdiff
|
tree
|
snapshot
2018-05-17
Mart Lubbers
add alpha renaming
commit
|
commitdiff
|
tree
|
snapshot
2018-05-17
Mart Lubbers
bork
commit
|
commitdiff
|
tree
|
snapshot
2018-05-16
Mart Lubbers
reduction optimization
commit
|
commitdiff
|
tree
|
snapshot
2018-05-16
Mart Lubbers
remove header
commit
|
commitdiff
|
tree
|
snapshot
2018-05-16
Mart Lubbers
reduce rules arithmetics in preamble
commit
|
commitdiff
|
tree
|
snapshot
2018-05-16
Mart Lubbers
ADd printing of decls
commit
|
commitdiff
|
tree
|
snapshot
2018-05-16
Mart Lubbers
complete preable
commit
|
commitdiff
|
tree
|
snapshot
2018-05-16
Mart Lubbers
Change evaluation strategy to normal order
commit
|
commitdiff
|
tree
|
snapshot
2018-05-16
Mart Lubbers
Support multiargument lambda's
commit
|
commitdiff
|
tree
|
snapshot
2018-05-16
Mart Lubbers
Fix reduction, add declarations
commit
|
commitdiff
|
tree
|
snapshot
2018-05-15
Mart Lubbers
Initial commit
commit
|
commitdiff
|
tree
|
snapshot