diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2025-01-30 16:57:47 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2025-03-13 13:20:29 +0000 |
| commit | f5b75edd91389f0a45045b707abfa36c746e8d54 (patch) | |
| tree | c675419958ad913d111ebda51c5863a752768577 /program/reducer.pty | |
| parent | 3f4e0844880a43ae113f75711bfcb60b9f22a4dd (diff) | |
Modify definition of data types.
Diffstat (limited to 'program/reducer.pty')
| -rw-r--r-- | program/reducer.pty | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/program/reducer.pty b/program/reducer.pty index c72b8c6..65090e5 100644 --- a/program/reducer.pty +++ b/program/reducer.pty @@ -1,17 +1,17 @@ Nat -> -(\T => +data T [ Var: Nat ; Zero: <> ; Suc: T ; Primrec: <Zero: T; Suc: T; Target: T> ; Abs: T ; App: <Fun: T; Arg: T> - ]) -> -(\T => + ] -> +data T [ Var: Nat ; Zero: <> ; Suc: T ; Primrec: <Zero: T; Suc: T; Target: T> ; Abs: T ; App: <Fun: T; Arg: T> - ]) + ] |