Start adding ^? and removing =, and ^

This commit is contained in:
Elliot Glaysher 2018-12-11 11:38:44 -08:00
parent 03a90bd17e
commit e839ec6c7c
11 changed files with 14 additions and 13 deletions

View File

@ -1625,7 +1625,7 @@
(he-diff %tan u.p.cit)
::
++ he-lens
|= com/command:^^^^lens
|= com/command:^^lens
^+ +>
=+ ^- source/dojo-source
=| num/@
@ -1815,7 +1815,7 @@
(wrap he-type):arm
::
++ poke-lens-command
|= com/command:^^^^lens ~| poke-lens+com %. com
|= com/command:^^lens ~| poke-lens+com %. com
(wrap he-lens):arm
::
++ poke-json

View File

@ -117,7 +117,7 @@
:: #
:: functional cores and arms.
::
~% %hall-door ..^^^is ~
~% %hall-door ..^is ~
|_ {bol/bowl:gall $1 state}
::
:: # %transition

View File

@ -1,11 +1,10 @@
::
:::: /lib/hall/hoon
::
/- hall
/- *hall
::
::::
::
=, hall
|_ bol/bowl:gall
::
::TODO add to zuse?

View File

@ -2,9 +2,8 @@
:::: /hoon/drum/hood/lib :: ::
:: :: ::
/? 310 :: version
/- sole, hall
/- *sole, hall
/+ sole
=, ^sole
:: :: ::
:::: :: ::
:: :: ::

View File

@ -1,5 +1,6 @@
:: |pill: helper functions for making pills
::
^|
|%
:: +module-ova: vane load operations.
::

View File

@ -2,9 +2,7 @@
:::: /hoon/sole/lib
::
/? 310
/- sole
=, sole
::
/- *sole
::::
::
|_ sole-share :: shared-state engine

View File

@ -3,6 +3,7 @@
:: A minimal representation of some basic ASN.1 types,
:: created to support PKCS keys, digests, and cert requests.
::
^?
|%
:: +bespoke:asn1: context-specific, generic ASN.1 tag type
::
@ -65,6 +66,7 @@
:: |obj:asn1: constant object ids, pre-encoded
::
++ obj
^?
|% :: rfc4055
++ sha-256 0x1.0204.0365.0148.8660 :: 2.16.840.1.101.3.4.2.1
++ rsa 0x1.0101.0df7.8648.862a :: 1.2.840.113549.1.1.1

View File

@ -1,6 +1,7 @@
::
:::: /sur/hall/hoon
::
^?
|%
::
::TODO use different words for different kinds of burdens

View File

@ -1,3 +1,4 @@
^?
|%
++ command
$: source/source

View File

@ -1,2 +1,3 @@
/- plan-acct
^?
{inf/(unit {@txname @txloc}) del/(map knot ~) put/(map knot plan-acct)}

View File

@ -1,7 +1,8 @@
::
:::: /hoon/sole/sur
::
=> |%
^?
|%
++ sole-action :: sole to app
$% :: {$abo ~} :: reset interaction
{$det sole-change} :: command line edit
@ -78,8 +79,6 @@
(unit knot)
hiss:eyre
$-(httr:eyre (sole-request out))
--
|%
:: ::
++ sole-gen :: XX virtual type
$% {$say $-((sole-args) (cask))} :: direct noun