You did; I overlooked that. I don't know why you're implying the authors invented the term and made up the combinator just now, then.
> Cool they don't do that.
Their program is basically doing an automated version of what Graham Hutton did in that paper, except they rewrite functions using para instead of fold.
Edit:
> It's amazing how much benefit of the doubt CS people get. In math you either prove a theorem/lemma by writing it out in full or you... have nothing. In CS people tell nice stories, draw cool diagrams, write down random formulae and everyone is just hmm yes brilliant.
You seem to have a chip on your shoulder. I don't know why you're telling me this.
You did; I overlooked that. I don't know why you're implying the authors invented the term and made up the combinator just now, then.
> Cool they don't do that.
Their program is basically doing an automated version of what Graham Hutton did in that paper, except they rewrite functions using para instead of fold.
Edit:
> It's amazing how much benefit of the doubt CS people get. In math you either prove a theorem/lemma by writing it out in full or you... have nothing. In CS people tell nice stories, draw cool diagrams, write down random formulae and everyone is just hmm yes brilliant.
You seem to have a chip on your shoulder. I don't know why you're telling me this.