A point often overlooked about #Idris: it's strict, which makes it easy to reason about performance. Also a good FFI.
-
-
Replying to @EyalL
@EyalL Not quite sure what you mean, but this works: https://gist.github.com/pminten/11223315 …#Idris2 replies 0 retweets 1 like
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.