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