[Agda] Windows/Linux versions of Agda

Jason Dagit dagitj at gmail.com
Mon Sep 2 22:06:41 CEST 2013


On Mon, Sep 2, 2013 at 12:36 PM, Aaron Stump <aaron-stump at uiowa.edu> wrote:

>
> This took about a day to do (with my light knowledge of the Haskell
> platform), because I had to install an old version of the Haskell platform
> (haskell-platform-2012.4.0.0), which in turn required an older ghc (7.4.2).
>

Do you remember why you couldn't use the latest Haskell platform? Perhaps
understanding this could turn into a valuable improvement for the HP.

Jason
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130902/64c0a31e/attachment.html


More information about the Agda mailing list