Hacker Neue

Preferences
subleq parent
That's not a computable function. Function equality (x==K) is undecidable.
Jtsummers
And that's covered in the last chapter of To Mock a Mockingbird (this submission prompted me to pull it off the shelf this morning).
solomonb
Just postulate function extensionality and move on with life. :D

This item has no comments currently.

Keyboard Shortcuts

Story Lists

j
Next story
k
Previous story
Shift+j
Last story
Shift+k
First story
o Enter
Go to story URL
c
Go to comments
u
Go to author

Navigation

Shift+t
Go to top stories
Shift+n
Go to new stories
Shift+b
Go to best stories
Shift+a
Go to Ask HN
Shift+s
Go to Show HN

Miscellaneous

?
Show this modal