Ω := (λ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 😎