I did not know Idris targeted C! Idris seems really great, but I can't use it for much because its standard library is sorely lacking. If someone were to port

I did not know Idris targeted C! Idris seems really great, but I can't use it for much because its standard library is sorely lacking. If someone were to port over an equivalent of Haskell's Base (including Network, Map, Seq, Vector, etc.) I would probably start using it for real work.