diff options
author | Eduardo Julian | 2022-06-12 14:19:07 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-12 14:19:07 -0400 |
commit | 616ce8051f59f956fedc57780f5a8fefa16dd61d (patch) | |
tree | d0cf43811d8414730cd52fb0d509c7cbc7032cda /stdlib/source/program/aedifex/command/auto.lux | |
parent | 8c3a1afab9efeb86e2f53d743551fc689fbad257 (diff) |
Re-named "partial_list" to "list.partial".
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/command/auto.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux index 07842d32e..2e07625cb 100644 --- a/stdlib/source/program/aedifex/command/auto.lux +++ b/stdlib/source/program/aedifex/command/auto.lux @@ -33,7 +33,7 @@ (at ! each (|>> (try.else (list)) (monad.each ! (targets fs)))) (at ! conjoint) - (at ! each (|>> list.together (partial_list path)))))) + (at ! each (|>> list.together (list.partial path)))))) (def: .public delay Nat |