[Agda] Absurd lambdas and equality

[Daniel Peebles]

I was wondering if someone could explain why two absurd lambdas of the same
type are not equal. I've run into issues with this several times, when
proving things about definitions that involve them, and am just curious what
the motivation for this is.

Thanks,
Dan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20110711/fc9246cb/attachment.html