[Agda] It feels like there isn't a way to do a partial subtraction nicely ... and a feature suggestion :)

[Ulf Norell]

On Tue, Mar 25, 2008 at 12:45 PM, Conor McBride <conor at strictlypositive.org>
wrote:

>
> > (1) Everything it fills in for me is uniquely determined up to
> > definitional equality (is this the case for Agda today?)
>
> So I imagine, but perhaps Ulf can enlighten us.


 Yep.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080325/31044fff/attachment.html