[Agda] Re: Known inconsistency not fixed in release for one year

Paolo G. Giarrusso p.giarrusso at gmail.com
Mon May 12 03:00:57 CEST 2014

Previous message: [Agda] Known inconsistency not fixed in release for one year
Next message: [Agda] Known inconsistency not fixed in release for one year
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Paolo G. Giarrusso <p.giarrusso at ...> writes:

> [...]

Forgot one thing: please CC me on replies, as I'm not subscribed.

Previous message: [Agda] Known inconsistency not fixed in release for one year
Next message: [Agda] Known inconsistency not fixed in release for one year
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list