Happily, Agda has a JavaScript backend. So now you can fill your UIs with dependently typed goodness :P.