Add link to "Higher Inductive Types as Homotopy-Initial Algebras"
fix: format
Merge pull request #23 from cabrera/hit-as-hia

Add link to "Higher Inductive Types as Homotopy-Initial Algebras"