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
ack 0 n = n+1 ack m 0 = ack (m-1) 1 ack m n = ack (m-1) (ack m (n-1)) main = print $ (ack 3 11)
