[Haskell-cafe] [Agda] Defining subtraction for naturals

[wren ng thornton]

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