[Agda] Defining subtraction for naturals

wren ng thornton wren at freegeek.org
Thu Mar 17 23:41:33 CET 2011


On 3/17/11 5:12 PM, Conor McBride wrote:
> 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.

How about "pragmatically efficacious"?

-- 
Live well,
~wren


More information about the Agda mailing list