Fun with SKI Calculus(buildreactapp.com)
buildreactapp.com
Fun with SKI Calculus
https://www.buildreactapp.com/fun-with-ski-calculus/
3 comments
Oops the author has indeed made a crucial late-at-night-stare-at-the-screen-too-much typo, thanks for pointing it out! Fixed.
You might find my orbit-diagrams repo interesting: https://github.com/jasonincanada/orbit-diagrams
It's a way to render function application/composition in 3D. In particular you'd probably like the proof of B = S (K S) K:
https://raw.githubusercontent.com/jasonincanada/orbit-diagra...
It's a way to render function application/composition in 3D. In particular you'd probably like the proof of B = S (K S) K:
https://raw.githubusercontent.com/jasonincanada/orbit-diagra...
I don't know of these two systems with the same name are computationally equivalent or if the author simply made a crucial mistake in the definitions.