3 ms·Haskell Library for Dependent Typing Languages compiles to Javascript2 points by juliangamble 13y ago