| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | add1.png | 6067 | logplainblame |
| -rw-r--r-- | add2.png | 6250 | logplainblame |
| -rw-r--r-- | agent.png | 1406 | logplainblame |
| -rw-r--r-- | benchmark_reuse.png | 30089 | logplainblame |
| -rw-r--r-- | dup_list.png | 5794 | logplainblame |
| -rw-r--r-- | inpla-logo-60x60.png | 1021 | logplainblame |
| -rw-r--r-- | inpla-logo.png | 2000 | logplainblame |
| -rw-r--r-- | isort.png | 19440 | logplainblame |
| -rw-r--r-- | merger.png | 16448 | logplainblame |
| -rw-r--r-- | qsort.png | 29271 | logplainblame |
 |
index : inpla.git | |
| A fork of Inpla, a multi-threaded parallel interpreter of interaction nets | mirenn |
| aboutsummaryrefslogtreecommitdiff |
