Fix comment to sqrt1_2

JamieBallingall · hdgarrood · web-flow · commit 07714bf40d24 · 2021-08-23T12:13:21.000-04:00
Co-authored-by: Harry Garrood &lt;harry@garrood.me&gt;
diff --git a/src/Data/Number.purs b/src/Data/Number.purs
@@ -180,7 +180,7 @@ log2e = 1.4426950408889634
 pi :: Number
 pi = 3.141592653589793
 
--- | The Square root of one half, around 0.707107.
+-- | The square root of one half, around 0.707107.
 sqrt1_2 :: Number
 sqrt1_2 = 0.7071067811865476
 
