@@ -1510,27 +1510,27 @@ core? Slightly pseudocoded:
1513− ++ come |= [yen=@ ova=(list ovum) nyf=pone] :: 11
1513+ ++ come |/ {yen/@ ova/(list ovum) nyf/pone} :: 11
1514− ^- [(list ovum) _+>]
1514+ ^- {(list ovum) _+>}
1516− ++ keep |= [now=@da hap=path] :: 4
1516+ ++ keep |/ {now/@da hap/path} :: 4
1517 ^- (unit ,@da)
1517 ^- (unit ,@da)
1519− ++ load |= [yen=@ ova=(list ovum) nyf=pane] :: 86
1519+ ++ load |/ {yen/@ ova/(list ovum) nyf/pane} :: 86
1520− ^- [(list ovum) _+>]
1520+ ^- {(list ovum) _+>}
1522− ++ peek |= [now=@da path] :: 87
1522+ ++ peek |/ {now/@da path} :: 87
1523 ^- (unit)
1523 ^- (unit)
1525− ++ poke |= [now=@da ovo=ovum] :: 42
1525+ ++ poke |/ {now/@da ovo/ovum} :: 42
1526− ^- [(list ovum) _+>]
1526+ ^- {(list ovum) _+>}
1528− ++ wish |= txt=@ta :: 20
1528+ ++ wish |/ txt/@ta :: 20
1532− ++ card ,[p=@tas q=*] :: typeless card
1532+ ++ card {p/@tas q/*} :: typeless card
1533− ++ ovum ,[p=wire q=card] :: Arvo event
1533+ ++ ovum {p/wire q/card} :: Arvo event
1534 ++ wire path :: event cause
1534 ++ wire path :: event cause
1536This is the Arvo ABI in a very real sense. Arvo is a core with
1536This is the Arvo ABI in a very real sense. Arvo is a core with