Working on an interesting language (new or old)? We'd love to hear about it for hands-on tutorials at ICFP/CUFP; http://cufp.org/cufp2014-call-tutorials …
@avsm Does it have to be commercially useful now, or is there a way in for crazy type theorists? Never been to CUFP...
-
-
@edwinbrady To short-circuit that question, I'd say Idris would definitely be in scope :-) /cc@FrancescoC@sperbsen -
@avsm Okay, I will consider putting together a proposal :).@FrancescoC@sperbsen - 3 more replies
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.