Re: Why CTFE is context-sensitive?

[Timon Gehr]

On 01/28/2014 04:49 PM, Simen Kjærås wrote:

On 28.01.2014 10:42, "Ola Fosheim Grøstad"
 <ola.fosheim.grostad+dl...@gmail.com>"@puremagic.com wrote:
 [...] there is an inifinite number

of programs that can be proved to terminate… [...]

I assume you mean finite.

He meant infinite. (Which is correct.)