[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