diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-11-03 09:50:13 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-11-03 09:50:13 +0900 |
| commit | 35424247ef28ab60fd57d04b8d5d6efbc581eac9 (patch) | |
| tree | 7645c1866dcf08e5d3670fc940bc45d13483e652 /README.md | |
| parent | 0df7f6fa71cea5de0e041df80854d307930e418d (diff) | |
| download | inpla-35424247ef28ab60fd57d04b8d5d6efbc581eac9.tar.gz inpla-35424247ef28ab60fd57d04b8d5d6efbc581eac9.zip | |
v0.5.1
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/) |