From 344110bb2a2b22ab593abb40bf8f7a18119e14a6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 23 Sep 2016 00:52:38 -0400
Subject: - Now using Nat as the type of both VarT and ExT.

---
 src/lux/type.clj | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/lux/type.clj b/src/lux/type.clj
index 8099eb914..a198fabba 100644
--- a/src/lux/type.clj
+++ b/src/lux/type.clj
@@ -95,10 +95,10 @@
                                          Nat
                                          (&/$SumT
                                           ;; VarT
-                                          Int
+                                          Nat
                                           (&/$SumT
                                            ;; ExT
-                                           Int
+                                           Nat
                                            (&/$SumT
                                             ;; UnivQ
                                             (&/$ProdT TypeList Type)
-- 
cgit v1.2.3