Search whole site: site:github.com
Search title: GitHub - VictorTaelin/Interaction-Calculus: A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
See how to search.