| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2022-04-27 | Remove redundant letters | Shinya Sato | 1 | -0/+1 |
| 2022-04-27 | Update README.md | Shinya Sato | 1 | -1/+1 |
| 2022-04-27 | Update README.md | Shinya Sato | 1 | -1/+1 |
| 2022-04-27 | Update README.md | Shinya Sato | 1 | -6/+6 |
| 2022-04-27 | Update README.md | Shinya Sato | 1 | -1/+1 |
| 2022-04-16 | Update README.md | Shinya Sato | 1 | -1/+1 |
| 2022-04-16 | v0.8.1-2 | Shinya Sato | 4 | -12/+16 |
| 2022-04-16 | Update README.md | Shinya Sato | 1 | -1/+1 |
| 2022-04-16 | Update README.md | Shinya Sato | 1 | -11/+11 |
| 2022-04-16 | Benchmarks for OCaml | Shinya Sato | 11 | -5/+186 |
| 2022-03-26 | Update hanoi.in | Shinya Sato | 1 | -1/+2 |
| 2022-03-10 | Update Changelog.md | Shinya Sato | 1 | -1/+3 |
| 2022-03-10 | v0.8.1-1 | Shinya Sato | 8 | -58/+204 |
 |
index : inpla.git | |
| A fork of Inpla, a multi-threaded parallel interpreter of interaction nets | mirenn |
| aboutsummaryrefslogtreecommitdiff |