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+dlang at 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.)