This is why I think it's good to remember not all code needs to be or should be proved. DT provides *expressive* benefits as well as the ability to prove code. That's one of the lessons many talks about Idris have tried to convey: it's just a nice model of functional programminghttps://twitter.com/ProgrammerDude/status/1044274376122740736 …
I had hoped the Idris community wouldn’t be so toxic. Disappointing to hear that they are.
-
-
I think I got no idea what you're talking about now?
- 3 more replies
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.