@cicada-lang/monoid v0.1.2

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.

License

GPLv3