3 ms·This is really cool. I wonder how the "buzzfactor" of Haskell would measure up against Idris.by tormeh 12y agoThis is really cool. I wonder how the "buzzfactor" of Haskell would measure up against Idris.