I, too, hail from myself. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		bloppe on Aug 15, 2023 \| parent \| context \| favorite \| on: How should I read type system notation? I, too, hail from myself.

the_af on Aug 15, 2023 [–]

Oops. For some reason I confused lexi-lambda (which I didn't know) with lambda-the-ultimate (http://lambda-the-ultimate.org).

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact