Now fully using new, non-degenerate ++nest.

This commit is contained in:
C. Guy Yarvin 2016-01-01 14:15:50 -08:00
parent 19936b94f0
commit 533b8c8627
2 changed files with 12 additions and 13 deletions

View File

@ -527,19 +527,22 @@
{$hold *} a(p (turn p.a |=({b/span c/twig} [^$(a b) c])))
==
::
++ dy-shown
$? twig
$^ {dy-shown dy-shown}
$% {$ur purl}
{$dv path}
{$as mark dy-shown}
{$do twig dy-shown}
{$ge path (list dy-shown) (map term (unit dy-shown))}
==
==
::
++ dy-show-source
|= a/dojo-source ^- tank
=- >[-]<
=+ `{@ bil/dojo-build}`a
|- ^- $^ [_$ _$]
$? twig
$% {$ur purl}
{$dv path}
{$as mark _$}
{$do twig _$}
{$ge path (list _$) (map term (unit _$))}
==
==
|- ^- dy-shown
?- -.bil
$?($ur $dv) bil
$ex ?. ?=({$cltr *} p.bil) p.bil

View File

@ -8463,10 +8463,6 @@
~/ %nost
|= {tel/? ref/span}
~& %nost
=| $: gem/(set {p/span q/span}) :: prune ref
gul/(set {p/span q/span}) :: assume match
meg/(set {p/span q/span}) :: prune sut
==
=< dext
|%
++ cong