Atelier Evan
Atelier Evan
ContactAbout

math Blog Posts

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