I have worked a lot in Rust these past years, I think it’s time I check out a new language. Not as replacement, but for education
-
-
I tested a bit Idris a while ago, I should definitely work more on this
-
Try Type Driven Development With Idris if you do.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.