no-longer-on-githu-b · February 28, 2015 16:30
diff --git a/gistfile1.txt b/gistfile1.txt
 def abs(x: Number)(ensure out >= 0): Real =
    x
    |> non-zero-parts()
    |> map(fn(x) => x ^ 2)
    |> sum()
    |> sqrt()

 specialize def abs(x: Real): Real =
    if x < 0 { -x } else { x }
	def abs(x: Number)(ensure out >= 0): Real =
	x
	\|> non-zero-parts()
	\|> map(fn(x) => x ^ 2)
	\|> sum()
	\|> sqrt()

	specialize def abs(x: Real): Real =
	if x < 0 { -x } else { x }