3 ms·

Yeah, compiling Haskell to JavaScript is tricky at the moment. Happily, Agda has a JavaScript backend. So now you can fill your UIs with dependently typed good

by tikhonj 14y ago

Yeah, compiling Haskell to JavaScript is tricky at the moment. Happily, Agda has a JavaScript backend. So now you can fill your UIs with dependently typed goodness :P.