Hi! My interests include:
- Experimenting in Haskell.
- Learning about programming language design.
- Trying to learn type theory.
Check me out on Github!
I mostly write Haskell, TypeScript, and things related to programming languages or Discord bots.
My non-programming interests include:
- Playing roguelite games.
- Constructing and solving crosswords.
- Creating difficult, enjoyable maps on osu!.
- Enjoying Japanese media like anime and manga. Touhou is my favorite!