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]]