Conversely, don't hard-code at compile time what needs to be fluid at runtime.https://twitter.com/CodeWisdom/status/841720334130765824 …
Replying to @rickasaurus @deech
I think not even in Idris :). Explaining at compile time, on the other hand...
4:07 PM - 14 Mar 2017
0 replies
0 retweets
2 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.