Extraordinary Ordinals

3 comments

• lefra 14 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 1 hour ago
  I didn’t understand that notation. Can someone please explain?
  [-]
  • ngruhn 38 minutes ago
    I think:

       x => a
    

    is:

       λx. a 
    

    and

       f <- a
    

    is just application. I.e.

       f a

    [-]
    • lefra 10 minutes ago
      What about big T, square/angle brackets, and braces?
      [-]
      • ngruhn 1 minute ago
        yeah no idea
• bananaflag 52 minutes ago
  This should be "numerals"