aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2024-02-18 21:12:29 +0900
committerShinya Sato <shinnya.sato@gmail.com>2024-02-18 21:12:29 +0900
commitf0f8dc40c4f8aae3c6a85d0e8f171a77e7833416 (patch)
treef709ce8a3ecc4ffe52c54c3725ffeb7df609fc0e /README.md
parent90a52d957e96501e7eef4890e4ceb28c889ac317 (diff)
downloadinpla-f0f8dc40c4f8aae3c6a85d0e8f171a77e7833416.tar.gz
inpla-f0f8dc40c4f8aae3c6a85d0e8f171a77e7833416.zip
Update README.md
Diffstat (limited to 'README.md')
-rw-r--r--README.md6
1 files changed, 4 insertions, 2 deletions
diff --git a/README.md b/README.md
index c1896a6..b9569aa 100644
--- a/README.md
+++ b/README.md
@@ -291,9 +291,11 @@ Electronic Communications of the EASST, Volume 73: Graph Computation Models - Se
## Related Works
-
-* [HINet: Interaction Nets in Haskell](http://www.cas.mcmaster.ca/~kahl/Haskell/HINet/)
+* [Train: Translator of a functional language to interaction nets (Inpla)](https://github.com/inpla/train)
* [High-order Virtual Machine (HVM)](https://github.com/Kindelia/HVM)
+* [Language, interpreter and compiler for interaction nets](https://github.com/szeiger/interact)
+* [HINet: Interaction Nets in Haskell](http://www.cas.mcmaster.ca/~kahl/Haskell/HINet/)
+