From 9c21fd1f33eb52fb971d493ad21a67036d68b841 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 12 Jun 2022 02:29:28 -0400 Subject: Re-named the "poly" hierarchy to "polytypic". --- stdlib/source/program/aedifex/artifact/time/time.lux | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'stdlib/source/program/aedifex/artifact/time/time.lux') diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux index e890d0231..4b4936563 100644 --- a/stdlib/source/program/aedifex/artifact/time/time.lux +++ b/stdlib/source/program/aedifex/artifact/time/time.lux @@ -5,11 +5,11 @@ [abstract [monad (.only do)]] [control - ["<>" parser (.only) - ["<[0]>" text (.only Parser)]]] + ["<>" parser (.only)]] [data - [text - ["%" format]]] + ["[0]" text + ["%" format] + ["<[1]>" \\parser (.only Parser)]]] [math [number ["n" nat]]]]] -- cgit v1.2.3