An implementation of interaction nets. -- ASCII art inspired syntax. -- Pure postfix expression. -- Using a stack-based low-layer language to build nets.
-
Updated
May 11, 2024 - TypeScript
An implementation of interaction nets. -- ASCII art inspired syntax. -- Pure postfix expression. -- Using a stack-based low-layer language to build nets.
This is an implementation of interaction nets. It introduces you to the bizarre world of graph-based computation and linear logic, using a familiar JavaScript-like syntax :)
Add a description, image, and links to the inet topic page so that developers can more easily learn about it.
To associate your repository with the inet topic, visit your repo's landing page and select "manage topics."