Re:Extraordinary Ordinals
by 0rbiter on Thursday May 14, 2026 @10:53AM
(#48136291)
Interesting. I wonder what the `s` functions in Scott & Church are.
[ Parent
| on HN ]
Re:Extraordinary Ordinals
by marvinborner on Thursday May 14, 2026 @11:45AM
(#48137120)
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...