[Agda] Dev. version woes -- Agda/Prim.agda

Jacques Carette carette at mcmaster.ca
Thu Nov 7 15:56:03 CET 2013


Should there be a file named Agda/Prim.agda somewhere in my version?  
[There isn't].  It is neither in the version of Agda I grabbed this 
morning from http://code.haskell.org/Agda, nor in the development 
standard library grabbed from |http://www.cse.chalmers.se/~nad/repos/lib/.

Jacques
|
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20131107/37830be6/attachment.html


More information about the Agda mailing list