This page cannot be shown here. You can still read it on the original site — the toolbar below keeps your place in the directory.
This post begins a short series meant to serve as an informal guide to reading Haskell code and translating back and forth with mathematics. It’s meant to help members of r/CategoryTheory understand posts that use Haskell code to convey ideas. My hope is that this series should also find use among Haskell programmers, as exposure to some of the basic methods and terminology used in modern math.…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.