jacinda-1.1.0.0: examples/avg.jac

let
  val tot := (+)|0.0 $1:
  val n := (+)|0.0 [:1.0"$0
in tot%n end