Merge pull request #101 from thoradam/master

paf31 · web-flow · commit 756ef605e0fd · 2017-01-07T14:12:02.000-08:00
Fix missing word in docstring
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:
