NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
Extraordinary Ordinals (text.marvinborner.de)
p1esk 45 minutes ago [-]
I didn’t understand that notation. Can someone please explain?
ngruhn 17 minutes ago [-]
I think:

   x => a
is:

   λx. a 
and

   f <- a
is just application. I.e.

   f a
bananaflag 31 minutes ago [-]
This should be "numerals"
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 07:30:07 GMT+0000 (Coordinated Universal Time) with Vercel.