[Agda] Defining subtraction for naturals

Conor McBride conor at strictlypositive.org
Thu Mar 17 22:12:15 CET 2011


On 17 Mar 2011, at 18:35, wren ng thornton wrote:

> Another question on particulars. When dealing with natural numbers,  
> we run into the problem of defining subtraction. There are a few  
> reasonable definitions:

No there aren't.

Conor



More information about the Agda mailing list