User talk:Blashyrkh/Between IJ and SK

Can we get the program? --Yayimhere2(school) (talk) 09:14, 24 January 2026 (UTC)

Sure, give me a couple of hours to sort some things out. The program is written in C, it reads BLC expression for X combinator candidate from stdin, then enumerates all expressions consisting of I, J and X, and beta-reduces them until K expression is obtained. BLC enumerator is written in python. --Blashyrkh (talk) 09:30, 24 January 2026 (UTC)

Done (the link is in the article text). To build:

cmake -D CMAKE_BUILD_TYPE=Release .
cmake --build .

I run it this way:

./enum-lambdas.py | grep CNL | cut -f1 -d' ' | ./between-IJ-and-SK | nl

Does John Tromp know the answer?

Funny thing is I'm sure Mr. Tromp knows the answer, he just thinks 'Ha, let the kids play a little longer' --Blashyrkh (talk) 20:24, 24 January 2026 (UTC)