[Haskell-cafe] [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"?
More information about the Haskell-Cafe