[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