GitHub - VictorTaelin/Interaction-Calculus: A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly. - discu.eu

Linking pages

Linked pages

GitHub - HigherOrderCO/HVM: A massively parallel, optimal functional runtime in Rust https://github.com/Kindelia/HVM 300 comments

Related searches:

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.

Submit link to: