Extraordinary Ordinals

(text.marvinborner.de)

17 points by marvinborner2 days ago

3 comments

  • lefra2 minutes ago
    I think I lack context to see what this is about. The line graphs are pretty though, and I'd like to understand more.
  • p1esk54 minutes ago
    I didn’t understand that notation. Can someone please explain?
    • ngruhn26 minutes ago
      I think:<p><pre><code> x =&gt; a </code></pre> is:<p><pre><code> λx. a </code></pre> and<p><pre><code> f &lt;- a </code></pre> is just application. I.e.<p><pre><code> f a</code></pre>
  • bananaflag40 minutes ago
    This should be &quot;numerals&quot;