index
:
inpla.git
main
A fork of Inpla, a multi-threaded parallel interpreter of interaction nets
mirenn
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
fun fib 0 = 0 | fib 1 = 1 | fib n = (fib (n-1)) + (fib (n-2)); fib 38;