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
path:
root
/
sample
/
pseudo_higher_order
Mode
Name
Size
-rw-r--r--
map.in
1080
log
plain
blame
-rw-r--r--
reduce.in
1635
log
plain
blame
