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 thought you were talking about the Idris Community. As "those" folks retreat into smaller spaces and dominate them with linguistic flourishes only partially informed by insight, I'm always worried they're going to trip over the sub-200 person Idris community and feast.
-
I had hoped the Idris community wouldn’t be so toxic. Disappointing to hear that they are.
- 5 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.