|
|
|
|
|
by tromp
591 days ago
|
|
> Technically the language is Turing complete at this point, but will be excruciatingly laborious to use, violating my design rule #2. I stopped at step #1 with my Lambda Diagrams [1]. The bottom of that page links to all other graphical lambda calculus notations I know of (just added this one). [1] https://tromp.github.io/cl/diagrams.html |
|