search

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

LambdaDiagrams #49

Open sordina opened 4 years ago

sordina commented 4 years ago

A diagramatic notation for lambda calculus including reduction.

https://tromp.github.io/cl/diagrams.html