apple-0.1.0.0: test/examples/perimeter.apple

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