arvo: time goes sideways

This commit is contained in:
Joe Bryan 2020-12-08 14:49:28 -08:00
parent 11fb87a3d4
commit 4b5f6ce1f4

View File

@ -1734,9 +1734,13 @@
++ poke :: +23
|= [now=@da ovo=ovum]
^- ^
?. (gth now now.sol)
~| poke/[now=now last=now.sol wire.ovo p.card.ovo]
~>(%mean.'time-marches-on' !!)
:: this assertion is not yet viable, as vere's timestamps
:: are too unreliable. sad!
::
:: ?. (gth now now.sol)
:: ~| poke/[now=now last=now.sol wire.ovo p.card.ovo]
:: ~>(%mean.'time-marches-on' !!)
::
=: eny.sol (shaz (cat 3 eny now)) :: XX review
now.sol now
==