New addition to the Idris documentation: implementing state-aware systems with Control.ST http://docs.idris-lang.org/en/latest/st/index.html …
. @n_umiastowski by which I mean @idrislang the twitter account not Idris the language :)
1:56 PM - 24 Mar 2017
0 replies
0 retweets
6 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.