[Agda] FOREIGN GHC pragma triggers parse error
Shin-Cheng Mu
scm at iis.sinica.edu.tw
Tue Mar 7 07:05:14 CET 2017
Hi,
> On 7 Mar 2017, at 12:59 AM, G. Allais <guillaume.allais at ens-lyon.org> wrote:
> The master branch of agda-stdlib on github is meant to be used
> with the development version of Agda. For released version, you
> can get the appropriate tarball on the wiki:
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary
Oops, my mistake that I didn't notice the "Installation"
section on the wiki page is for the development version.
Thank you!
sincerely,
Shin
More information about the Agda
mailing list