diff options
| author | Eduardo Julian | 2021-07-12 00:03:36 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-12 00:03:36 -0400 |
| commit | 86df87512966e8038d70624ab654262ce14a915c (patch) | |
| tree | e96d6709c04e7f3fc77f9d9912b86ef34e9c7ef7 /stdlib/source/poly | |
| parent | abe24425ced15fd784ef6c62d6f186af72b491db (diff) | |
Better syntax for parallel-hierarchy imports.
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) |