From f0f8dc40c4f8aae3c6a85d0e8f171a77e7833416 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sun, 18 Feb 2024 21:12:29 +0900 Subject: Update README.md --- README.md | 6 ++++-- 1 file 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/) + -- cgit v1.2.3