Nat.curry 1.21 KB