3 ms·

Came here to recommend that the author check out Combinatory Logic (SKI, Iota, Jot, etc). Although not practical, it is pretty incredible how simple/minimal sys

by jekude 3y ago

Came here to recommend that the author check out Combinatory Logic (SKI, Iota, Jot, etc). Although not practical, it is pretty incredible how simple/minimal systems can serve as the axiomatic foundation for essentially all of math/logic.

msla 3y ago
There's also the Unlambda programming language: https://en.wikipedia.org/wiki/Unlambda https://en.wikipedia.org/wiki/Unlambda http://www.madore.org/~david/programs/unlambda/ http://www.madore.org/~david/programs/unlambda/
behnamoh 3y ago
thank you, I’ll check out those!