diff options
author | Eduardo Julian | 2021-08-20 03:12:49 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-20 03:12:49 -0400 |
commit | 374ccf07246484eb7beb2cd87f3fc88396373ee1 (patch) | |
tree | 4ed37fd579df1765dde6b57450f239844f7a07c1 /stdlib/source/library/lux.lux | |
parent | d772fe99d5d4990c6774481fb64d12280cdb6aae (diff) |
More fixes.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux.lux | 30 |
1 files changed, 20 insertions, 10 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index 6c1335fe9..50fe70f4e 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -195,25 +195,35 @@ ({Type_Pair (9 #0 Nothing (7 #0 #End - (1 #0 ... "lux.Primitive" + (1 #0 + ... "lux.Primitive" (2 #0 Text Type_List) - (1 #0 ... "lux.Sum" + (1 #0 + ... "lux.Sum" Type_Pair - (1 #0 ... "lux.Product" + (1 #0 + ... "lux.Product" Type_Pair - (1 #0 ... "lux.Function" + (1 #0 + ... "lux.Function" Type_Pair - (1 #0 ... "lux.Parameter" + (1 #0 + ... "lux.Parameter" Nat - (1 #0 ... "lux.Var" + (1 #0 + ... "lux.Var" Nat - (1 #0 ... "lux.Ex" + (1 #0 + ... "lux.Ex" Nat - (1 #0 ... "lux.UnivQ" + (1 #0 + ... "lux.UnivQ" (2 #0 Type_List Type) - (1 #0 ... "lux.ExQ" + (1 #0 + ... "lux.ExQ" (2 #0 Type_List Type) - (1 #0 ... "lux.Apply" + (1 #0 + ... "lux.Apply" Type_Pair ... "lux.Named" (2 #0 Name Type)))))))))))))} |