Some Sunday evening hacking: Session types in Idris, attempt 94, this time with the new ST library.https://gist.github.com/edwinb/0fd5e75fd80ec62b3ce398277b224bb5 …
Replying to @65thdiscord
Definitely. It Is Straightforward(™).
4:43 PM - 12 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.