| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Makefile | 289 | logplainblame |
| -rw-r--r-- | ack3-11.sml | 90 | logplainblame |
| -rw-r--r-- | bsort-40000.sml | 796 | logplainblame |
| -rw-r--r-- | dummy.sml | 1022 | logplainblame |
| -rw-r--r-- | fib38.sml | 72 | logplainblame |
| -rw-r--r-- | isort-40000.sml | 787 | logplainblame |
| -rw-r--r-- | msort-260000.sml | 1026 | logplainblame |
| -rw-r--r-- | msort-800000.sml | 1014 | logplainblame |
| -rw-r--r-- | qsort-260000.sml | 914 | logplainblame |
| -rw-r--r-- | qsort-800000.sml | 914 | logplainblame |
 |
index : inpla.git | |
| A fork of Inpla, a multi-threaded parallel interpreter of interaction nets | mirenn |
| aboutsummaryrefslogtreecommitdiff |