#coq fork with #erlang support (via verlang project) https://github.com/metachord/coq/tree/verlang …
@cmeik @mtreskin There's another project here: http://sole.dimi.uniud.it/~marino.miculan/wordpress/downloads/erlang-coq-synthesizer/ … Both on my todo list to have a play ...
-
-
@darachennis@mtreskin very cool; i’m going to check all of this out as I’m very interested in it.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.