From 616ce8051f59f956fedc57780f5a8fefa16dd61d Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 12 Jun 2022 14:19:07 -0400 Subject: Re-named "partial_list" to "list.partial". --- stdlib/source/program/aedifex/command/auto.lux | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'stdlib/source/program/aedifex/command/auto.lux') 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 -- cgit v1.2.3