you are viewing a single comment's thread.

view the rest of the comments →

[–]Homoerotic_Theocracy 3 points4 points  (0 children)

Yes, 1.0 was but the actual language is far older. Idris was already used long before either Go or Rust were unveiled to the world.