ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2025-01-05 13:55:54 +03:00
Code Issues Packages Projects Releases Wiki Activity

Syntax tightening

Browse Source
This commit is contained in:
Anton Dyudin 2015-02-26 17:29:39 -08:00
parent 5d5aa0242b
commit 6cd54faa7a
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
arvo/hoon.hoon
View File

@ -6501,12 +6501,13 @@
++ hock ++ hock
|- ^- toga |- ^- toga
?- gen ?- gen
[^ *] [%2 $(gen p.gen) $(gen q.gen)]
[%cnts [@ ~] ~] i.p.gen [%cnts [@ ~] ~] i.p.gen
[%cnzy @] p.gen [%cnzy @] p.gen
[%cnzz [@ ~]] i.p.gen [%cnzz [@ ~]] i.p.gen
[%zpcb *] $(gen q.gen) [%zpcb *] $(gen q.gen)
* =+(neg=open ?:(=(gen neg) [%0 ~] $(gen neg))) [@ *] =+(neg=open ?:(=(gen neg) [%0 ~] $(gen neg)))
[^ *] =+ toe=[$(gen p.gen) $(gen q.gen)]
?:(=(toe [[%0 ~] [%0 ~]]) [%0 ~] [%2 toe])
== ==
:: ::
++ open ++ open
@ -9003,7 +9004,6 @@
== ==
== ==
(stag %cnzz rope) (stag %cnzz rope)
(stag %bczp (cold %cell ket))
== ==
:- '`' :- '`'
;~ pfix tec ;~ pfix tec
@ -9016,8 +9016,6 @@
(cook |=(a=twig [[%dtzz %n ~] a]) wide) (cook |=(a=twig [[%dtzz %n ~] a]) wide)
== ==
== ==
:- '#'
;~(pfix hax rupl)
:- '"' :- '"'
%+ cook %+ cook
|= a=(list (list beer)) |= a=(list (list beer))
@ -9480,11 +9478,12 @@
== ==
^- (unit twig) ^- (unit twig)
?- -.vil ?- -.vil
%tis [~ %ktts ~(hock ap ros) p.vil]
%col [~ %tsgl ros p.vil] %col [~ %tsgl ros p.vil]
%pel [~ %cnts ~(rake ap ros) p.vil] %pel [~ %cnts ~(rake ap ros) p.vil]
%pat [~ %bcpt ~(rake ap ros) p.vil] %pat [~ %bcpt ~(rake ap ros) p.vil]
%ket [~ ros p.vil] %ket [~ ros p.vil]
%tis =+ tog=~(hock ap ros)
?:(=([%0 ~] tog) ~ [~ %ktts tog p.vil])
== ==
:: ::
++ long ++ long