[Agda] Accidental reply
Keith Ramsay
ramsaykeith at gmail.com
Sun Apr 24 21:06:44 CEST 2016
I appear to have accidentally replied to one of the digests by
pressing the wrong button. Sorry for the error.
Keith Ramsay
More information about the Agda
mailing list