search

jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work
BSD 3-Clause "New" or "Revised" License
745 stars 68 forks source link

Broken links on newartisans.com #9

Closed afcady closed 3 years ago

afcady commented 6 years ago

The page http://newartisans.com/2017/05/monads-are-monoids/ contains three broken links to two URLs:

rofrol commented 6 years ago

https://github.com/jwiegley/newartisans/pull/4

jwiegley commented 3 years ago

Publishing update now.