From f2490f5ca35b528c7332791c6932045eb9d5438b Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Tue, 7 Jan 2025 13:50:13 +0000
Subject: Add quotation to help metaprogramming.

---
 program/reducer.pty | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'program/reducer.pty')

diff --git a/program/reducer.pty b/program/reducer.pty
index 996541b..c72b8c6 100644
--- a/program/reducer.pty
+++ b/program/reducer.pty
@@ -1,17 +1,17 @@
 Nat ->
 (\T =>
   [ Var: Nat
-  , Zero: <>
-  , Suc: T
-  , Primrec: <Zero: T, Suc: T, Target: T>
-  , Abs: T
-  , App: <Fun: T, Arg: T>
+  ; 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>
+  ; Zero: <>
+  ; Suc: T
+  ; Primrec: <Zero: T; Suc: T; Target: T>
+  ; Abs: T
+  ; App: <Fun: T; Arg: T>
   ])
-- 
cgit v1.2.3