I wrote this on state in Idris, and it hasn’t (yet) been rejected, so comments are welcome! https://www.idris-lang.org/drafts/sms.pdf
-
-
It also doesn't look like you're bending the language with a math trick as we do in other langs... it's idiomatic to the language
-
that’s even what one of the reviewers complained about… it looks too easy, nothing new here. I want to say “Thank you!”
- 2 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.