A circuit-like notation for lambda calculus

visual-systems / philosophy

Overall philosophical documentation of what this system will aim to achieve and how it will be constructed.

6 stars 1 forks source link

Open sordina opened 3 years ago

sordina commented 3 years ago