[Agda] Building Agda with newer haskeline

Dirk Ullrich dirk.ullrich at gmail.com
Wed Aug 8 11:13:38 CEST 2012


Hello,

it seems that Agda from Darcs can also be built using newer haskeline
versions: I've tried 7.0.2 - using this haskeline version Agda can be
built, at least, by GHC 7.2.2 and 7.4.2, and Agda's command line
frontend seems to remain usable.

Dirk


More information about the Agda mailing list