diff options
| author | Eduardo Julian | 2022-11-21 16:40:51 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-11-21 16:40:51 -0400 |
| commit | 224797231a8144f6ead1baab3b4b01a74cab629c (patch) | |
| tree | 294aaadc4cc8dce8e40041aa318fa84de080002e /stdlib/source/format | |
| parent | df0e015145981602b3f97113bcfa586b4f6d0757 (diff) | |
Added index section to documentation + re-named Primitive -> Nominal
Diffstat (limited to 'stdlib/source/format')
| -rw-r--r-- | stdlib/source/format/lux/data/binary.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/format/lux/data/binary.lux b/stdlib/source/format/lux/data/binary.lux index 2eede5dfb..c04c5116b 100644 --- a/stdlib/source/format/lux/data/binary.lux +++ b/stdlib/source/format/lux/data/binary.lux @@ -251,16 +251,16 @@ (\\unsafe.has_8! offset <number>) [(.++ offset)] caseT))])]) - ([0 .#Primitive (..and ..text (..list again))] - [1 .#Sum pair] - [2 .#Product pair] - [3 .#Function pair] - [4 .#Parameter indexed] - [5 .#Var indexed] - [6 .#Ex indexed] - [7 .#UnivQ quantified] - [8 .#ExQ quantified] - [9 .#Apply pair] + ([00 .#Nominal (..and ..text (..list again))] + [01 .#Sum pair] + [02 .#Product pair] + [03 .#Function pair] + [04 .#Parameter indexed] + [05 .#Var indexed] + [06 .#Ex indexed] + [07 .#UnivQ quantified] + [08 .#ExQ quantified] + [09 .#Apply pair] [10 .#Named (..and ..symbol again)]) )))))) |