@@ -4,7 +4,7 @@ The LAoP discipline generalises relations and functions treating them as
4Boolean matrices and in turn consider these as arrows.
4Boolean matrices and in turn consider these as arrows.
6__LAoP__ is a library for algebraic (inductive) construction and manipulation of matrices
6__LAoP__ is a library for algebraic (inductive) construction and manipulation of matrices
7−in Haskell. See (https://github.com/bolt12/master-thesis)[my Msc Thesis] for the
7+in Haskell. See [my Msc Thesis](https://github.com/bolt12/master-thesis) for the
8motivation behind the library, the underlying theory, and implementation details.
8motivation behind the library, the underlying theory, and implementation details.
10This module offers many of the combinators mentioned in the work of
10This module offers many of the combinators mentioned in the work of