diff options
Diffstat (limited to '')
| -rw-r--r-- | lux-bootstrapper/src/lux/type.clj | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lux-bootstrapper/src/lux/type.clj b/lux-bootstrapper/src/lux/type.clj index aa2f8c9f2..9935d9cfa 100644 --- a/lux-bootstrapper/src/lux/type.clj +++ b/lux-bootstrapper/src/lux/type.clj @@ -393,10 +393,10 @@ (str "(-> " (->> ?ins (&/|map show-type) (&/|interpose " ") (&/fold str "")) " " (show-type ?out) ")")) (&/$Var id) - (str "⌈v:" id "⌋") + (str "-" id) (&/$Ex ?id) - (str "⟨e:" ?id "⟩") + (str "+" ?id) (&/$Parameter idx) (str idx) |