[Haskell-cafe] Defining subtraction for naturals

wren ng thornton wren at freegeek.org
Thu Mar 17 23:14:46 CET 2011

On 3/17/11 3:30 PM, David Menendez wrote:
> In "What About the Natural Numbers", Colin Runciman argues for [...]

Thanks for the reference, I'll go check it out.

Live well,

More information about the Haskell-Cafe mailing list