[Agda] Accidental reply

Keith Ramsay ramsaykeith at gmail.com
Sun Apr 24 21:06:44 CEST 2016

Previous message: [Agda] Re: Agda Digest, Vol 127, Issue 17
Next message: [Agda] Baza Agda progamo skribita per Agda ?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I appear to have accidentally replied to one of the digests by
pressing the wrong button. Sorry for the error.

Keith Ramsay

Previous message: [Agda] Re: Agda Digest, Vol 127, Issue 17
Next message: [Agda] Baza Agda progamo skribita per Agda ?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list