Yoneda Lemma August 1, 2021 Bridging the gap between formal and informal presentations of the Yoneda Lemma.
The Hask Category June 1, 2021 A quick reference for understanding the Hask category of Haskell functions between data types.