From 56ad25efd2a36c120bbfd0458fe5c56089c15c30 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sun, 17 Oct 2021 18:20:33 +0900 Subject: Update README.md --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index 2a4125c..eea8b49 100644 --- a/README.md +++ b/README.md @@ -9,6 +9,9 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri ![speedup-ratio](pic/benchmark_reuse.png) +### Feature of Version 0.4.2 +- Line edit supports multi-line inputs. + ### Feature of Version 0.4.1 - Integer numbers can be written the same as one of the first-class objects. - Interaction rules can re-allocate heaps of the rule agents to agents in nets. This re-allocation is specified by modifications such as (\*L), (\*R), called reuse annotation [1], to agents in nets. This re-allocation can improve execution performance in parallel. -- cgit v1.2.3