Fix missing word in docstring

thoradam · web-flow · commit 07694b282a8d · 2017-01-07T22:04:38.000Z
diff --git a/src/Data/HeytingAlgebra.purs b/src/Data/HeytingAlgebra.purs
@@ -5,7 +5,7 @@ module Data.HeytingAlgebra
 
 import Data.Unit (Unit, unit)
 
--- | The `HeytingAlgebra` type class represents types are bounded lattices with
+-- | The `HeytingAlgebra` type class represents types that are bounded lattices with
 -- | an implication operator such that the following laws hold:
 -- |
 -- | - Associativity:
