• John's Combinatory Logic Playground http://homepages.cwi.nl/%7Etromp/cl/cl.html 3 comments 21/11/2009
• John's Lambda Calculus and Combinatory Logic Playground https://tromp.github.io/cl/cl.html 10 comments 12/3/2023