Profile avatar
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