Hacker News new | ask | show | jobs
by man-and-laptop 2781 days ago
That's not necessary with Type 2 Theory. You work with the usual set of real numbers.