|
|
|
|
|
|
by wyager
3819 days ago
|
|
|
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. |
|
|