[ fix ] typos

Author: gallais

courseworks/1-Circuits/1-Circuits.agda

@@ -598,7 +598,7 @@ _ = λ { true  true  → {!!}
 -- You are free to implement whatever you want. Try to put an emphasis
 -- on elegant type & code. Here are some ideas:
 
--- * A collection of CS106-type circuits (proven correct? maximasing parallelism?)
+-- * A collection of CS106-type circuits (proven correct? maximising parallelism?)
 -- * A renderer displaying a circuit as a string (or a dot graph?)
 -- * A compiler from a small language to circuits
 -- * Recursive definitions of complex circuits

courseworks/2-Genetic/2-Genetic.agda

@@ -646,7 +646,7 @@ module FPoly where
           String.++ String.fromVec (' ' ∷ dash ∷ pipe ∷ Vec.map isHere vs ++ pipe ∷ []))
       ∷ go pad n (ℤ.pred line) vs where
 
-      -- Being on y axis, show '|' if we're additionally on the x axis
+      -- Being on y axis, show '|' if we're additionally on the x axis show '-'
       pipe : Char
       pipe = if does (line ℤ.≟ (+ 0)) then '-' else '|'
 
@@ -957,7 +957,7 @@ main = run $ do
 --     multiple strands for different intervals
 --     dynamically discovering new interval splits
 --
--- * A more developped theory of polynomials e.g.
+-- * A more developed theory of polynomials e.g.
 --     closure under multiplication, composition, derivation
 --     proven correct with respect to horner
 --     used for new notions of crossovers?