Ben Lyn’s Zurihac 2023 presentation features a small bootstrapped implementation based on a superset of those combinators:
As a first step you could reduce the set of combinators used down to just S and K, then go from there…
5 Likes