interaction nets implementation based on Taelin's Interaction-Calculus
Primary LanguageRust
This repository is not active