HN
New
Show
Ask
Jobs
Built with elm-pages
The road to epsilon-zero: Nim always ends, even with infinite ordinals
(blog.plover.com)
15 points | by
pavel_lishin
5 days ago ago
3 comments
3 comments