Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
BetaRare

VictorTaelin/Interaction-Calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

Owner
VictorTaelin (personal account)
Stars
Stars: 961
Forks
Forks: 71
Language
C
License
None
Created
2018
Tier
Beta (700 to 1,999 ★) What this tier means
View on GitHub

More repos by VictorTaelin

All 15 repos by VictorTaelin

Nearby in C

All C repos