summaryrefslogtreecommitdiff
path: root/program/exp.pty
blob: 9e7f5e33e5318da2b837aa701427d9e6ee8e33a7 (plain)
1
Nat -> Nat -> Nat