Extraordinary Ordinals

3 comments

• lefra 3 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.
• p1esk 54 minutes ago
  I didn’t understand that notation. Can someone please explain?
  [-]
  • ngruhn 27 minutes ago
    I think:

       x => a
    

    is:

       λx. a 
    

    and

       f <- a
    

    is just application. I.e.

       f a
• bananaflag 41 minutes ago
  This should be "numerals"