diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-10-24 23:29:55 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-10-24 23:29:55 +0900 |
| commit | 40767523ee76aed31bf0c87d7f3a8ed32ee230f7 (patch) | |
| tree | 17ce3ea9aa2a6cc8cb84ec8adead62fc9a73d32f /README.md | |
| parent | 54e9b8fdc3c6d1e659c4c78957ff1c11acc1c0ea (diff) | |
| download | inpla-40767523ee76aed31bf0c87d7f3a8ed32ee230f7.tar.gz inpla-40767523ee76aed31bf0c87d7f3a8ed32ee230f7.zip | |
Update README.md
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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. |
