@@ -1510,27 +1510,27 @@ core? Slightly pseudocoded:
15101510
15111511 ++ arvo
15121512 |%
1513− ++ come |= [yen=@ ova=(list ovum) nyf=pone] :: 11
1514− ^- [(list ovum) _+>]
1513+ ++ come |/ {yen/@ ova/(list ovum) nyf/pone} :: 11
1514+ ^- {(list ovum) _+>}
15151515 !!
1516− ++ keep |= [now=@da hap=path] :: 4
1516+ ++ keep |/ {now/@da hap/path} :: 4
15171517 ^- (unit ,@da)
15181518 !!
1519− ++ load |= [yen=@ ova=(list ovum) nyf=pane] :: 86
1520− ^- [(list ovum) _+>]
1519+ ++ load |/ {yen/@ ova/(list ovum) nyf/pane} :: 86
1520+ ^- {(list ovum) _+>}
15211521 !!
1522− ++ peek |= [now=@da path] :: 87
1522+ ++ peek |/ {now/@da path} :: 87
15231523 ^- (unit)
15241524 !!
1525− ++ poke |= [now=@da ovo=ovum] :: 42
1526− ^- [(list ovum) _+>]
1525+ ++ poke |/ {now/@da ovo/ovum} :: 42
1526+ ^- {(list ovum) _+>}
15271527 !!
1528− ++ wish |= txt=@ta :: 20
1528+ ++ wish |/ txt/@ta :: 20
15291529 ^- *
15301530 !!
15311531 --
1532− ++ card ,[p=@tas q=*] :: typeless card
1533− ++ ovum ,[p=wire q=card] :: Arvo event
1532+ ++ card {p/@tas q/*} :: typeless card
1533+ ++ ovum {p/wire q/card} :: Arvo event
15341534 ++ wire path :: event cause
15351535
15361536This is the Arvo ABI in a very real sense. Arvo is a core with