This commit is contained in:
C. Guy Yarvin 2015-06-08 16:46:26 -07:00
parent 1d09626776
commit ecc39e0fef
2 changed files with 6 additions and 1 deletions

View File

@ -918,7 +918,11 @@
?~ q.yop ~ ?~ q.yop ~
?~(t.q.yop `i.q.yop `[%mor (flop `(list sole-effect)`q.yop)]) ?~(t.q.yop `i.q.yop `[%mor (flop `(list sole-effect)`q.yop)])
== ==
?~(foc moz [[ost %diff %sole-effect u.foc] moz]) ?~ foc
moz
~& [%ra-abed-fx-mug `@p`(mug u.foc)]
~& [%ra-abed-fx u.foc]
[[ost %diff %sole-effect u.foc] moz])
:: ::
++ ra-abet :: complete core ++ ra-abet :: complete core
ra-abed:ra-axel ra-abed:ra-axel

View File

@ -179,6 +179,7 @@
++ diff-sole-effect-phat :: ++ diff-sole-effect-phat ::
|= [way=wire fec=sole-effect] |= [way=wire fec=sole-effect]
=< se-abet =< se-view =< se-abet =< se-view
~& [%diff-effect `@p`(mug fec)]
=+ gyl=(drum-phat way) =+ gyl=(drum-phat way)
?: (se-aint gyl) +>.$ ?: (se-aint gyl) +>.$
(se-diff gyl fec) (se-diff gyl fec)