diff options
author | Eduardo Julian | 2022-01-20 04:30:57 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-01-20 04:30:57 -0400 |
commit | 14bf4ffe5d7d88692ab895f96a2bb6a829a406de (patch) | |
tree | ef9204bb10c817c6d7feddfa20c7305dbc6a042d /stdlib/source/library/lux.lux | |
parent | c98d05fcb43714dc7e2ce07ab3fa17b78f21b3bf (diff) |
Better text formatting for types.
Diffstat (limited to 'stdlib/source/library/lux.lux')
-rw-r--r-- | stdlib/source/library/lux.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index 8bd316fee..bd3f36e3e 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -3003,10 +3003,10 @@ (nat#encoded id) {#Var id} - ($_ text#composite "⌈v:" (nat#encoded id) "⌋") + ($_ text#composite "-" (nat#encoded id)) {#Ex id} - ($_ text#composite "⟨e:" (nat#encoded id) "⟩") + ($_ text#composite "+" (nat#encoded id)) {#UnivQ env body} ($_ text#composite "(All " (type#encoded body) ")") |