testing ;~ expansions

dip.hoon

!:  :-  %say  |=  *  :-  %noun

=/  one
  |*({a/gate b/gate} [;~(a b) b])

=/  two
  |*  {a/gate b/gate c/gate}
  :-  ;~(a b c)
  |*  arg/*
  (a (b arg) c(,.+6 arg))

=/  tre
  |*  {a/gate b/gate c/gate d/gate}
  :-  ;~(a b c d)
  |*  arg/*
  %+  a  (b arg)
  =+  arg=arg
  |%  +-  $  (a (c arg) d(,.+6 arg))  --
  :: |*  shadow/_arg
  :: (a (c shadow) d(,.+6 shadow))

=/  bunt  |*({a/* b/gate} [%bunt a (b)])
=/  glue  |*({a/* b/gate} [%glue a (b a)])

:~  :+  %one
    %-  test  [(- "foo") (+ "foo")]:(one bunt crip)
    %-  test  [(- "foo") (+ "foo")]:(one glue crip)

    :+  %two
    %-  test  [(- "foo") (+ "foo")]:(two bunt crip some)
    %-  test  [(- "foo") (+ "foo")]:(two glue crip dec)

    :+  %tre
    %-  test  [(- "foo") (+ "foo")]:(tre bunt crip some head)
    %-  test  [(- "foo") (+ "foo")]:(tre glue crip dec trip)
==