[Agda] Building with GHC 7.4

Dirk Ullrich dirk.ullrich at googlemail.com
Thu Dec 22 21:27:43 CET 2011


Hello,

with some tiny changes Agda 2 can be built by GHC 7.4. An appropriate
Darcs patch is attached.

Dirk
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ghc7.4.patch
Type: text/x-patch
Size: 842 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20111222/1083ad10/ghc7.4.bin


More information about the Agda mailing list