5 ms·
Interesting. I wonder what the `s` functions in Scott & Church are.
by 0rbiter 4mo ago
Interesting. I wonder what the `s` functions in Scott & Church are.
- marvinborner 4mo agoThey are not functions, but variables. Maybe this helps, as they basically are "selectors": https://text.marvinborner.de/2024-11-18-00.html#tagged-unions https://text.marvinborner.de/2024-11-18-00.html#tagged-union...