diff options
| -rw-r--r-- | src/lux/type.clj | 4 |
1 files changed, 2 insertions, 2 deletions
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) |