apple-0.2.0.0: test/examples/perimeter.apple

λxs.λys.
  { succDiff ← ((-)\~)
  ; (+)/([√(x^2+y^2)]`(succDiff xs) (succDiff ys))
  }