Hacker News new | ask | show | jobs
by solomonb 234 days ago
Just postulate function extensionality and move on with life. :D