[Agda] Proving _!_ is inverse of tabulate...

Jason Dusek jason.dusek at gmail.com
Fri Apr 8 09:46:25 CEST 2011


On Fri, Apr 8, 2011 at 07:09, gallais @ ensl.org
<guillaume.allais at ens-lyon.org> wrote:
> Have you tried to destruct the proofs of [x == y] and [xs == ys] ?

  To destruct them?

--
Jason Dusek
()  ascii ribbon campaign - against html e-mail
/\  www.asciiribbon.org   - against proprietary attachments


More information about the Agda mailing list