Type Inference Zoo September 26, 2023 Still in development. With this project, I will collect reference implementations of type inference algorithms, with particular emphasis on those features which are necessary for practical implementations, such as error reporting and incrementality.

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.