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.in
blob: 770aae2dcf408aee63bc0984d6c7ffd871e700a2 (
plain
) (
blame
)
1
([((1 0) 0)] ([[([0] 0)]] [([(0 0)] [(0 0)])]))
