diff options
Diffstat (limited to 'program/reducer.pty')
| -rw-r--r-- | program/reducer.pty | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/program/reducer.pty b/program/reducer.pty new file mode 100644 index 0000000..996541b --- /dev/null +++ b/program/reducer.pty @@ -0,0 +1,17 @@ +Nat -> +(\T => + [ Var: Nat + , Zero: <> + , Suc: T + , Primrec: <Zero: T, Suc: T, Target: T> + , Abs: T + , App: <Fun: T, Arg: T> + ]) -> +(\T => + [ Var: Nat + , Zero: <> + , Suc: T + , Primrec: <Zero: T, Suc: T, Target: T> + , Abs: T + , App: <Fun: T, Arg: T> + ]) |