[Agda] termination

[wren ng thornton]

On 3/3/11 7:02 AM, Permjacov Evgeniy wrote:
> On 03/03/2011 02:45 PM, Conor McBride wrote:
>>
>> suggest that solving the
>> slightly more general problem of addition-with-carry might give you a
>> cleaner solution, because it has a neater, more compositional structure.
>
> Ok, it is very possible. However, the problem is, that I does not know
> so much about math. I'm neither computer nor math scinentist. So, I wish
> to ask you, what do you mean?

You may want to take a look at:

     http://en.wikipedia.org/wiki/Adder_(electronics)

-- 
Live well,
~wren