[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"?

Live well,

More information about the Haskell-Cafe mailing list