[Agda] rewrite vs. with

David Leduc david.leduc6 at googlemail.com
Wed Sep 29 16:11:15 CEST 2010


Jean-Philippe Bernardy <bernardy at chalmers.se> wrote:
> * use 'subst' on the equality of choice at the moment you need it.
> Unfortunately that is a bit tedious.

What is 'subst'???


More information about the Agda mailing list