[Agda] ANNOUNCE: Agda 2.2.10

Jean-Philippe Bernardy bernardy at chalmers.se
Wed Feb 23 16:24:52 CET 2011


Thank you Andreas, for the detailed response, this clarifies the
intention behind
"your" irrelevance.

Thanks also to Dan for showing how it can be used to encode some other
notion via Squash.

Cheers,
JP.


More information about the Agda mailing list