diff options
| author | Eduardo Julian | 2022-03-30 21:25:53 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-30 21:25:53 -0400 |
| commit | 8eb86ed366b2305751f2e831c7a081ffcca82c89 (patch) | |
| tree | f8da5967f61d115414b3655dd9045cef370c8d5b /stdlib/source/poly | |
| parent | 4326d69ab717683449bf37bf8dd170c83455c0c0 (diff) | |
De-sigil-ification: /
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/poly/lux/abstract/equivalence.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index e65bd5b5e..79c85032a 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -135,7 +135,7 @@ g!rights (list#each (|>> nat#encoded (text#composite "right") code.local) indices)]] (in (` (is (~ (@Equivalence inputT)) (function ((~ g!_) [(~+ g!lefts)] [(~+ g!rights)]) - (and (~+ (|> (list.zipped/3 g!eqs g!lefts g!rights) + (and (~+ (|> (list.zipped_3 g!eqs g!lefts g!rights) (list#each (function (_ [g!eq g!left g!right]) (` ((~ g!eq) (~ g!left) (~ g!right))))))))))))) ... Type recursion diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index e7b0bd1fe..e838c73b4 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -192,7 +192,7 @@ (function ((~ g!_) [(~+ g!members)]) ((~! /.json) [(~+ (list#each (function (_ [g!member g!encoded]) (` ((~ g!encoded) (~ g!member)))) - (list.zipped/2 g!members g!encoders)))])))))) + (list.zipped_2 g!members g!encoders)))])))))) ... Type recursion (do ! [[selfC non_recC] (<type>.recursive encoded) |