GitHub repository: melvinzhang/binary-lambda-calculus
Primary language: HTML
Description: For exploring http://www.ioccc.org/2012/tromp/hint.html