http://nanako.teamikaria.com/lambda/
This is a PHP-based website I set up to enumerate the lambda calculus functions. The main parts work, but it’s not fully complete yet.
Hopefully when this is done, I should be able to get it to generate huge tables of application reductions, which might lead to some new patterns.
