| Mode | Name | Size | |
|---|---|---|---|
| d--------- | lambda | 162 | logplain |
| d--------- | process_networks | 87 | logplain |
| d--------- | pseudo_higher_order | 71 | logplain |
| d--------- | puzzle | 73 | logplain |
| d--------- | recursive_functions | 266 | logplain |
| d--------- | sort | 144 | logplain |
| d--------- | turing_machine | 44 | logplain |
| d--------- | unary_numbers | 155 | logplain |
 |
index : inpla.git | |
| A fork of Inpla, a multi-threaded parallel interpreter of interaction nets | mirenn |
| aboutsummaryrefslogtreecommitdiff |