Merge pull request #853 from baudtack/ted/dojo-lens

reinstated ++poke-lens-command with changes
This commit is contained in:
David Kerschner 2018-10-09 21:15:19 -07:00 committed by GitHub
commit 92702b6d6c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1814,6 +1814,10 @@
|= act/sole-action ~| poke+act %. act
(wrap he-type):arm
::
++ poke-lens-command
|= com/command:^^^^lens ~| poke-lens+com %. com
(wrap he-lens):arm
::
++ poke-json
|= jon/json
^- {(list move) _+>.$}