The road to epsilon-zero: Nim always ends, even with infinite ordinals blog.plover.com 8 points by pavel_lishin 4 days ago · 1 comment Reader PiP Save linzhangrun 7 minutes ago First glance I thought someone was referring to https://nim-lang.org/