[Agda] Oregon Programming Languages Summer School - call for participation

Darryl McAdams psygnisfive at yahoo.com
Sat Mar 23 09:23:41 CET 2013


I can't participate, but I certainly will be waiting for the videos. OPLSS is incredibly awesome.
 
- darryl
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130323/0b910e19/attachment.html


More information about the Agda mailing list