[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