My favourite thing so far about writing Idris 2 in Idris 1 is that I don't have library issues because there aren't any libraries. I'd love to recommend this as a scalable approach to software development, but...https://twitter.com/idrislang/status/1054674896209481729 …
-
-
Replying to @edwinbrady
this is one of my favorite things about ATS as well!
1 reply 0 retweets 2 likes
Replying to @vamchale
Yes, there is something both pleasing and annoying about writing your own parser/directory mangling/serialisation etc. Always I think "I bet someone who put actual time into this would do it much better."
2:41 PM - 23 Oct 2018
0 replies
0 retweets
3 likes
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.