[Agda] announcing Verified Functional Programming in Agda

Aaron Stump aaron-stump at uiowa.edu
Mon Feb 29 21:46:28 CET 2016


Skipped content of type multipart/alternative-------------- next part --------------
A non-text attachment was scrubbed...
Name: toc.pdf
Type: application/nappdf
Size: 157574 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20160229/62272380/toc-0001.bin


More information about the Agda mailing list