4 ms·
So it’s based on a universal combinator like Iota?
by LudwigNagasena 2y ago
So it’s based on a universal combinator like Iota?
- Jtsummers 2y agoYes. And the author is Johannes Bader who wrote about that one as well: https://lambada.pages.dev https://lambada.pages.dev https://johannes-bader.com https://johannes-bader.com
- tromp 2y agoNo, it's based on K and S, as is clear from the two rules (t (t) a) b -> a (1) (t (t a) b) c -> (a c) (b c) (2)