GitHub repository: paraseba/alg-coalg-methods
Primary language: Haskell
Created: 2017-09-05T00:26:40Z
Description: Overview and main results as I read the book