Monoid as type system and programming with [interaction nets](https://en.wikipedia.org/wiki/Interaction_nets).
npm install @cicada-lang/monoidMonoid as type system
and programming with interaction nets.
Papers:
- Interaction Nets, Yves Lafont, 1990 (the founding paper).
- Interaction Combinators, Yves Lafont, 1997.
Books:
- Models of Computation -- An Introduction to Computability Theory, Maribel Fernández, 2009.
- Chapter 7. Interaction-Based Models of Computation.
The command line program is called mono.
Install it by the following command:
``
npm -g i @cicada-lang/monoid
`
npm install // Install dependencies
npm run build // Compile to lib/
npm run build:watch // Watch the compilation
npm run test // Run test
To make a contribution, fork this project and create a pull request.
Please read the STYLE-GUIDE.md before you change the code.