Blog articles/Categories

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

This page is a link to a blog on translating the book Computational Category Theory by David Rydeheard and Rod Burstall into the Haskell programming language. The main goal is to translate the book's representation of categorical structures in the most elegant and idiomatic way possible. See