Extraordinary Ordinals

2 comments

• p1esk 49 minutes ago
  I didn’t understand that notation. Can someone please explain?
  [-]
  • ngruhn 22 minutes ago
    I think:

       x => a
    

    is:

       λx. a 
    

    and

       f <- a
    

    is just application. I.e.

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