diff options
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) ")") |