diff options
| author | Eduardo Julian | 2021-09-13 00:29:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-13 00:29:57 -0400 |
| commit | 376c3e472fbb1e2656f8c61b26e0276570609aa1 (patch) | |
| tree | bc76d7aeff4f2b889ae262a64dc8d26b0476068d /stdlib/source/specification/lux/abstract/apply.lux | |
| parent | 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (diff) | |
Updated only/except import syntax to take into account record => variant syntax change.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/apply.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux index 9b52df567..00629ed8a 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" function]] [math @@ -11,9 +11,9 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Apply]}]] + ["[0]" / {"+" Apply}]] [// - [functor {"+" [Injection Comparison]}]]) + [functor {"+" Injection Comparison}]]) (def: (identity injection comparison (^open "#[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) |