Artwork for 015 - Dependent Types in Haskell with Stephanie Weirich
CoRecursive w/ Adam Bell

015 - Dependent Types in Haskell with Stephanie Weirich