I recently attempted to make a reference implementation and walkthrough of Schönfinkel's original paper [1]. I found the English translation (by Stefan Bauer-Me

I recently attempted to make a reference implementation and walkthrough of Schönfinkel's original paper [1]. I found the English translation (by Stefan Bauer-Mengelberg) to be quite readable, highly recommend! [1] https://github.com/planetlambert/combinator https://github.com/planetlambert/combinator