diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-11-03 09:52:00 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-11-03 09:52:00 +0900 |
| commit | 7c9922173332e3a8fc93d35ede57535e97555969 (patch) | |
| tree | 565587f4fe1cf48d2c7cb875cb1e7fdc528a89d0 /README.md | |
| parent | 3bbd2d506a5edaf5656b7d43fe04efa503e25f53 (diff) | |
| parent | 35424247ef28ab60fd57d04b8d5d6efbc581eac9 (diff) | |
| download | inpla-7c9922173332e3a8fc93d35ede57535e97555969.tar.gz inpla-7c9922173332e3a8fc93d35ede57535e97555969.zip | |
Merge branch 'develop'
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -113,7 +113,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri -## Getting started +## Getting Started - Requirement - gcc (>= 4.0), flex, bison @@ -130,7 +130,7 @@ $ make thread -## How to execute +## How to Execute ### Interactive mode (single-thread version) - Inpla starts in the interactive mode by typing the following command (where the symbol `$` is a shell prompt): @@ -329,7 +329,7 @@ Options: -# Introduction to programming in Inpla +# Introduction to Programming in Inpla Inpla evaluates *nets*, which are built by *connections between terms*. First, we learn about terms and connections. ## Terms @@ -526,7 +526,7 @@ Let's clean the result in case it could be used anywhere: -## Built-in agents +## Built-in Agents Inpla has built-in agents: ### Tuples @@ -835,7 +835,7 @@ fib(result) >< (int n) -## Feature of Version 0.4 +## Features of Version 0.4 #### Summaries - Integer numbers can be written the same as one of the first-class objects. @@ -931,7 +931,7 @@ Electronic Communications of the EASST, Volume 73: Graph Computation Models - Se -# Related works +# Related Works - [HINet: Interaction Nets in Haskell](http://www.cas.mcmaster.ca/~kahl/Haskell/HINet/) |