2016-02-05 05:57:44 +03:00
|
|
|
::
|
2016-02-05 06:05:37 +03:00
|
|
|
:::: /hoon/pretty/cat/gen
|
2016-02-05 05:57:44 +03:00
|
|
|
::
|
2015-05-28 05:46:58 +03:00
|
|
|
!:
|
|
|
|
|
|%
|
|
|
|
|
++ pretty-noun
|
|
|
|
|
|= pri=* ^- tank
|
|
|
|
|
?~ pri
|
2016-01-26 03:52:58 +03:00
|
|
|
leaf+"~"
|
2015-05-28 05:46:58 +03:00
|
|
|
?@ pri
|
2016-01-26 03:52:58 +03:00
|
|
|
leaf+?:(((sane %tas) pri) <`@tas`pri> <pri>)
|
|
|
|
|
=< rose+[" " ?:(- "~[" "[") "]"]^+
|
2015-05-28 05:46:58 +03:00
|
|
|
|- ^- [? (list tank)]
|
|
|
|
|
?~ +.pri
|
|
|
|
|
[& ^$(pri -.pri) ~]
|
|
|
|
|
?@ +.pri
|
|
|
|
|
[| ^$(pri -.pri) ^$(pri +.pri) ~]
|
|
|
|
|
[+< - +>]:[^$(pri -.pri) $(pri +.pri)]
|
|
|
|
|
::
|
|
|
|
|
++ vale-cord |=(a=cord `?`(levy (trip a) |=(b=@ |((gte b 32) =(10 b)))))
|
|
|
|
|
::
|
|
|
|
|
++ pretty-file
|
2016-01-26 03:52:58 +03:00
|
|
|
=+ wain-to-tang=|=(a=wain (turn a |=(b=cord leaf+(trip b))))
|
2015-05-28 05:46:58 +03:00
|
|
|
|= fyl=* ^- tang
|
|
|
|
|
=+ `(unit wain)`?@(fyl `(lore fyl) ((soft wain) fyl))
|
|
|
|
|
?^ - (wain-to-tang u)
|
|
|
|
|
[(pretty-noun fyl)]~
|
|
|
|
|
--
|
