Hacker News new | ask | show | jobs
by pwdisswordfishc 985 days ago
So { −: F² → F } is not functionally complete, but { −: F² → F, −0: F⁰ → F } is.