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

2 comments

• linzhangrun an hour ago ago

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

  [-]
  • HeavyStorm 14 minutes ago ago

    Me too. Why I clicked the link.