[Agda] Windows/Linux versions of Agda
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Agda