diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/world/service/journal.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/world/service/journal.lux b/stdlib/source/library/lux/world/service/journal.lux index 878da3eb7..6f080a26f 100644 --- a/stdlib/source/library/lux/world/service/journal.lux +++ b/stdlib/source/library/lux/world/service/journal.lux @@ -8,9 +8,9 @@ [security ["!" capability {"+" [capability:]}]]] [data - ["." text ("#\." equivalence)]] + ["[0]" text ("[1]\[0]" equivalence)]] [time - ["." instant {"+" [Instant]} ("#\." equivalence)]]]]) + ["[0]" instant {"+" [Instant]} ("[1]\[0]" equivalence)]]]]) (type: .public (Entry a) (Record @@ -31,7 +31,7 @@ (def: bottom start) (def: top end))) -(implementation: .public (equivalence (^open "_\.")) +(implementation: .public (equivalence (^open "_\[0]")) (All (_ a) (-> (Equivalence a) (Equivalence (Entry a)))) (def: (= reference sample) (and (_\= (value@ #what reference) (value@ #what sample)) |