capitalise comments

Author: jamesmckinna

src/Algebra/Construct/Zero.agda

@@ -25,7 +25,7 @@ open import Algebra.Bundles
   using (Magma; Semigroup; Band)
 
 ------------------------------------------------------------------------
--- re-export those algebras which are both initial and terminal
+-- Re-export those algebras which are both initial and terminal
 
 open import Algebra.Construct.Terminal public
   hiding (rawMagma; magma; semigroup; band)