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 …
-
-
No most folks there are delightful and just happy to have more people to bounce ideas off of.
-
Yeah, I've found most of the Idris folks on the whole to be pretty nice. There was only really one person on the IRC that was a bit unpleasant a few years back (would get annoyed at the slightest mention of Rust). Dunno if they are still around though.
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.