How many closed λ-calculus expressions are there of a given length? - View it on GitHub