Atelier Evan
Contact
About
math Blog Posts
Blog Posts
Deriving Monad Comprehension Programmatically
comprehend 再多,却无可 comprehend 她的心。#油 #普信 #🤢
Jun 27, 2025
Tutorial
math
Fixpoint is all you need
Bondage
(I mean fixpoint) formalized. Isn’t that hot 🥵
Jul 11, 2024
math
🤓
Maths (or PL) Related Stuff
Nerdmaxxing
May 10, 2024
math