[Agda] Windows/Linux versions of Agda

[Martin Escardo]

I am also entertaining the idea of using Agda in the second part of an 
undergrad functional programming course (in which traditionally we have 
done Haskell only). Our teaching labs have linux, but the students have 
Windows, iOS, and very few linux in their own machines. It would be 
great if installation was as easy for the other operating systems as it 
is for linux. I haven't tried anything different from linux myself 
regarding Agda, and I am not really tempted to, but I would like to be 
confident that my students won't give up. These are second-year 
students, who managed to install the Haskell platform in their own 
machines in the previous years. Will they manage to install (the latest 
version of) Agda? Thanks, Martin

On 03/09/13 17:47, Aaron Stump wrote:
>
>
>
> On Tue, Sep 3, 2013 at 11:41 AM, Jason Dagit <dagitj at gmail.com
> <mailto:dagitj at gmail.com>> wrote:
>
>
>
>
>     On Tue, Sep 3, 2013 at 9:29 AM, Aaron Stump <aaron-stump at uiowa.edu
>     <mailto:aaron-stump at uiowa.edu>> wrote:
>
>         Hi, Jason.
>
>
>         On Mon, Sep 2, 2013 at 3:06 PM, Jason Dagit <dagitj at gmail.com
>         <mailto:dagitj at gmail.com>> wrote:
>
>
>
>
>             On Mon, Sep 2, 2013 at 12:36 PM, Aaron Stump
>             <aaron-stump at uiowa.edu <mailto: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.
>
>
>         Yes, see the transcript below for what happens when I try to use
>         Haskell Platform 2013.2.0.0 with GHC 7.6.3 to install Agda
>         2.3.0.1 via cabal.  It seems the problem is that the installed
>         base library (containing the Prelude, it seems) is too recent
>         for Agda 2.3.0.1, and apparently the Haskell Platform is not
>         allowing installation of a version of the base library that
>         satisfies the constraints in Agda.cabal for 2.3.0.1.  As I said
>         in my original email, I worked around this by installing an
>         older Haskell Platform, but this took some effort.
>
>
>     Thank you for providing more detailed information.
>
>     I misunderstood before. I thought that there was an issue installing
>     the HP 2013.2.0.0. I see now that the problem is with installing Agda.
>
>
> Yes, exactly.
>
>
>     For what it's worth, I bet you could `cabal unpack Agda` and edit
>     the cabal file to relax the constraint on base. If that works you
>     might be able to build your own windows installer.
>
>
> I tried doing some of this, but ended up editing source files, and got
> stuck at src/full/Agda/Interaction/Imports.hs with ClockTime versus
> UTCTime.  So I gave up at that point -- not to say something along those
> lines couldn't work out.
>
> Aaron
>
>
>     Thanks,
>     Jason
>
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>