path: root/ycomb.pez

@Y: {[f] {[i] i[i]}[{[i] f[{[x] i[i][x]}]}]}

@fact: {[n] Y[{[f] {[n] n == 0 ? 1 : n * f[n - 1]}}][n]}

printf["%a\n", fact[5]]