Shower idea

Implement a web browser using a language that supports dependant types in order to prove its correctness and that no vulnerabilities exist for it.

>>14
the only thing I'm getting is that your life sucks ass