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
/
tests
/
1.trans
blob: 2a30d16c9a5ad4db59ee9dd163ba0e2fcc2dc8b7 (
plain
) (
blame
)
1
1-2-6-1-1-4-9-3-1-2-6-2-5-7-1-2-6-3-4-5-11-5-10-9-4-8-10