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

(blog.plover.com)

8 points by pavel_lishin4 days ago

1 comments

  • linzhangrun0 minutes ago
    First glance I thought someone was referring to <a href="https:&#x2F;&#x2F;nim-lang.org&#x2F;" rel="nofollow">https:&#x2F;&#x2F;nim-lang.org&#x2F;</a>