VictorTaelin/Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
RustMIT
Watchers
- 0joshuaolson1Minnesota, 3rd millennium
- AleXoundOSTbilisi, Georgia
- amoallim15South Korea
- arhikHyderabad
- atennapelNetherlands
- doppioslashLiverpool, UK
- dumblob
- eemailme
- g0xA52A2A
- h-michaelSynspective Inc.
- insoothSzczecin
- jahaynesStockholm, Sweden
- juanbono@lambdaclass
- kungfoomanHurr Durr
- l-d-sMurdoch Childrens Research Institute
- leonardostsouza
- li-chZGC Lab
- lqd
- MistShiBei Jing
- neu-rahr-site.net
- nurelin
- olopierpa
- omasanoriJapan
- palutzDecentralised
- rckmlk
- ReddogStoneCV Abroad
- roboguy13
- rodamber
- rwCTO
- sledorzeLille, France
- subttleUSA
- TorosFanny
- VictorTaelinHigher Order Company
- viking66Shujinko
- xoltarIntel Labs
- Zinfour