imaqtkatt / kitty-inet

interaction nets implementation based on Taelin's Interaction-Calculus

Geek Repo

Github PK Tool