diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/poly/lux/abstract/equivalence.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/abstract/functor.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index 8ac11dbb1..590c3c92a 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -38,8 +38,8 @@ ["." month]] ["." type ["." unit]]] - {1 - ["." /]}) + [\\ + ["." /]]) (poly: #export equivalence (`` (do {! p.monad} diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index 1ef5c4137..1d90bf0d9 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -20,8 +20,8 @@ [math [number ["n" nat]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (poly: #export functor (do {! p.monad} diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index cf3076f72..3022a59a8 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -39,8 +39,8 @@ ["." month]] ["." type ["." unit]]] - {1 - ["." / (#+ JSON)]}) + [\\ + ["." / (#+ JSON)]]) (def: tag (-> Nat Frac) |