4 ms·Can you give a little more info? Does it offer alot over Haskell?by zadler 8y agoCan you give a little more info? Does it offer alot over Haskell?andrzejsz 8y agoDependent types