interaction nets implementation based on Taelin's Interaction-Calculus
Primary LanguageRust
No issues in this repository yet.