@bodil @edwinbrady The challenge is to model accurately the weak but nontrivial promises made by the Erlang runtime. Worth doing.
-
-
Replying to @pigworker
@pigworker@bodil A quick look suggests it has exactly the right set of features for to the Idris IR. Still a job for Anyone But Me :).1 reply 0 retweets 0 likes -
-
Replying to @pigworker
@pigworker@edwinbrady@bodil if this student project is around when my SH comes along, I might take it :P2 replies 0 retweets 1 like
Replying to @lenary
@Lenary @pigworker @bodil I imagine something could be arranged...
8:55 AM - 21 Apr 2014
0 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.