The road to epsilon-zero: Nim always ends, even with infinite ordinals

Posted by pavel_lishin 4 days ago

Counter9Comment2OpenOriginal

Comments

Comment by linzhangrun 40 minutes ago

First glance I thought someone was referring to https://nim-lang.org/

Comment by HeavyStorm 8 minutes ago

Me too. Why I clicked the link.