pstiasny · February 28, 2016 02:20
diff --git a/unicode-syntax-vectors.hs b/unicode-syntax-vectors.hs
 {-# LANGUAGE UnicodeSyntax #-}

 type ℝ = Float
 data ℝ³ = ℝ³ !ℝ !ℝ !ℝ deriving (Show)

 (⋅) ∷ ℝ³ → ℝ³ → ℝ
 (ℝ³ x1 x2 x3) ⋅ (ℝ³ y1 y2 y3) = x1 * y1 + x2 * y2 + x3 * y3

 main =
  let x = ℝ³ 2 0 1
      y = ℝ³ 6 0 0
  in  print $ x ⋅ y
	{-# LANGUAGE UnicodeSyntax #-}

	type ℝ = Float
	data ℝ³ = ℝ³ !ℝ !ℝ !ℝ deriving (Show)

	(⋅) ∷ ℝ³ → ℝ³ → ℝ
	(ℝ³ x1 x2 x3) ⋅ (ℝ³ y1 y2 y3) = x1 * y1 + x2 * y2 + x3 * y3

	main =
	let x = ℝ³ 2 0 1
	y = ℝ³ 6 0 0
	in print $ x ⋅ y