programingisthefuture.com
Ω := (λx.x x) (λx.x x)
To Ω and beyond!
Backend developer with OCaml by day 🐫
Type theorist by night 🫣
I use Arch, (and neovim) btw 😎
95 posts
98 followers
213 following
Getting Started
Active Commenter