Interesting. I wonder what the `s` functions in Scott & Church are. | Hacker News

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

0rbiter 56 days ago | parent | context | favorite | on: Extraordinary Ordinals

Interesting. I wonder what the `s` functions in Scott & Church are.

marvinborner 56 days ago [–]

They are not functions, but variables. Maybe this helps, as they basically are "selectors": https://text.marvinborner.de/2024-11-18-00.html#tagged-union...

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