index
:
marvinborner/calm
aggressive
:zap: Highly efficient and aggressive lambda calculus reducer [WIP]
Marvin
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Mode
Name
Size
-rw-r--r--
.gitignore
43
log
plain
blame
d---------
inc
106
log
plain
-rw-r--r--
makefile
1460
log
plain
blame
-rw-r--r--
readme.md
1810
log
plain
blame
d---------
src
140
log
plain
d---------
tests
637
log
plain
