@cicada-lang/monoid
v0.1.2
Published
Monoid as type system and programming with [interaction nets](https://en.wikipedia.org/wiki/Interaction_nets).
Downloads
4
Readme
Monoid
Monoid as type system and programming with interaction nets.
References
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.
Usage
Command line tool
The command line program is called mono
.
Install it by the following command:
npm -g i @cicada-lang/monoid
Development
npm install // Install dependencies
npm run build // Compile `src/` to `lib/`
npm run build:watch // Watch the compilation
npm run test // Run test
Contributions
To make a contribution, fork this project and create a pull request.
Please read the STYLE-GUIDE.md before you change the code.