My Book Collection

Some redraws of a picture I had of Patchy holding LYAH. (I believe the original image is by Fujishiro Emyu.)

Learn You a Haskell

Haskell background logo by Sawaratsuki.

The Rising Sea

Categories for the Working Mathematician

Homotopy Type Theory: Univalent Foundations of Mathematics

Hatcher Algebraic Topology

Structures and Interpretations of Computer Programs

Miscellaneous

Agda/Haskell Logos

HoTT uwu

Inspired by Sawaratsuki.