[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
Paolo G. Giarrusso <p.giarrusso at ...> writes:
> [...]
Forgot one thing: please CC me on replies, as I'm not subscribed.
More information about the Agda
mailing list