aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2021-10-24 23:29:55 +0900
committerShinya Sato <shinnya.sato@gmail.com>2021-10-24 23:29:55 +0900
commit40767523ee76aed31bf0c87d7f3a8ed32ee230f7 (patch)
tree17ce3ea9aa2a6cc8cb84ec8adead62fc9a73d32f /README.md
parent54e9b8fdc3c6d1e659c4c78957ff1c11acc1c0ea (diff)
downloadinpla-40767523ee76aed31bf0c87d7f3a8ed32ee230f7.tar.gz
inpla-40767523ee76aed31bf0c87d7f3a8ed32ee230f7.zip
Update README.md
Diffstat (limited to '')
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 00793ee..7df6d28 100644
--- a/README.md
+++ b/README.md
@@ -31,7 +31,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri
### 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. This is an experimental, thus in future version these should be decided automatically, so please do not care so much.
+- 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. This is experimental, thus in future version these should be decided automatically, so please do not care so much.
- Weak reduction strategy is supported. It turns on by invoked with ```-w``` option, and then only connections that have living names are evaluated.
- Nested guards in conditional rules are supporeted.