On Sat, 2011-05-21 at 15:12 -0700, Brian Huffman wrote: > I just noticed this error message from primrec [...] What is the status of primrec anyway, in the light of fun(ction)? Kind regards, Tjark