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
path:
root
/
readme.md
blob: 18c38feef24799ad46eb6bc050b7f15d9805fd61 (
plain
) (
blame
)
1
2
3
# MILCR > **M**ultithreaded **I**nteraction net **L**ambda **C**alculus **R**educer
