partial slimpill prep

This commit is contained in:
Anton Dyudin 2015-07-17 11:55:32 -07:00
parent 3f83e87c32
commit 71d7d9268c

View File

@ -7777,6 +7777,8 @@
[%sgzp *] ~_(duck(sut (play p.gen)) $(gen q.gen)) [%sgzp *] ~_(duck(sut (play p.gen)) $(gen q.gen))
[%sggr *] [%sggr *]
=+ hum=$(gen q.gen) =+ hum=$(gen q.gen)
:: ?: &(huz !?=($|(@ [?(%fast %memo) ^]) p.gen))
:: hum
:- p.hum :- p.hum
:+ %10 :+ %10
?- p.gen ?- p.gen
@ -8385,7 +8387,8 @@
|= ref=type |= ref=type
~+ ~+
^- type ^- type
~|(%sift-lose ?>((nest(sut ref) & -:!>(*typo)) ref)) !!
:: ~|(%sift-lose ?>((nest(sut ref) & -:!>(*typo)) ref))
:: ::
++ snub ++ snub
~/ %snub ~/ %snub