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

[wren ng thornton]

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,
~wren