1 2 3 4 5 6 7
// size = 1 << 12 C_20 = λs λz (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s z)))))))))))))))))))) Mult = λm λn λs λz (m (n s) z) Main = (Mult C_20 C_20)