Inpla: Interaction nets as a programming language (the current version) - View it on GitHub