@bodil @edwinbrady The challenge is to model accurately the weak but nontrivial promises made by the Erlang runtime. Worth doing.
@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 :).
-
-
@pigworker@edwinbrady@bodil if this student project is around when my SH comes along, I might take it :P - 1 more reply
New conversation
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.