[curryhowardiso]

Omg now can someone please fix the apex domain?

I don't want to live in a world where I can't like formal verification and modern website design