[Alta-Logic] Weekly Agda Session

[Chad Nester]

So we're planning to do what we did last week every week. Bring your laptop!

Date: Friday , Nov 20th
Time: 11am
Location: ICT638 (possibly another room on the 6th floor of ICT)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20141120/ea2c0c0c/attachment.html