[Alta-Logic] No Agda session tomorrow

Chad Nester chad.nester at gmail.com
Thu Dec 4 16:31:15 MST 2014


Everyone is pretty busy so we'll just start meeting again after the break.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20141204/ea3fdcdc/attachment.html


More information about the alta-logic-l mailing list