Subtraction is functionally complete https://orlp.net/blog/subtraction-is-functionally-complete/ #ycombinator
Oddbean new post about login | logout