From af7c222cc3e487cd3ca8b5dd8749b7e258da7c7c Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Fri, 16 Jun 2023 18:01:33 +0100
Subject: Define semantics and encode types up to pairs.

---
 src/Type.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Type.idr')

diff --git a/src/Type.idr b/src/Type.idr
index 12c0a74..c4ab809 100644
--- a/src/Type.idr
+++ b/src/Type.idr
@@ -1,6 +1,6 @@
 module Type
 
-infix 4 ~>
+infixr 4 ~>
 
 public export
 data Ty : Type where
-- 
cgit v1.2.3