diff options
| author | Eduardo Julian | 2016-09-23 00:52:38 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-09-23 00:52:38 -0400 |
| commit | 344110bb2a2b22ab593abb40bf8f7a18119e14a6 (patch) | |
| tree | a270910992aa3afb4b53ab299daf32ad9ec7de57 /src | |
| parent | 9e71d24b76bba0ea2455bacc13df911487a36b16 (diff) | |
- Now using Nat as the type of both VarT and ExT.
Diffstat (limited to '')
| -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) |