Yon is an experimental, topos-oriented programming language: a compiled language whose semantics are drawn from category theory (elementary topoi, Heyting algebras, directed type theory) and whose runtime stores every value in a content-addressed heap built on the Leech lattice ?
Cost / License
- Free
- Open Source (AGPL-3.0)
Platforms
- Mac
- Linux
- Windows
- BSD




































