While these are very simple universal languages, as is a simple binary language based on S K combinators (see Section 3.2 of [1]), they don't yield the very com

While these are very simple universal languages, as is a simple binary language based on S K combinators (see Section 3.2 of [1]), they don't yield the very compact programs that BLC does. [1] https://tromp.github.io/cl/LC.pdf https://tromp.github.io/cl/LC.pdf