[Agda] new release

Permjacov Evgeniy permeakra at gmail.com
Thu Jan 20 10:53:54 CET 2011

Previous message: [Agda] Proving Parametricity?
Next message: [Agda] new release
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Agda library does not compile with ghc-7.0.1 .  The problem looks fixed
in darcs, so when new release, compatible with ghc-7.0.1 will be avaible ?

Previous message: [Agda] Proving Parametricity?
Next message: [Agda] new release
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list