[m-dev.] Inductive goals

[Mark Brown]

On Thu, Jan 23, 2014 at 7:52 PM, Peter Schachte <pschachte at gmail.com> wrote:
> This proposal is reminiscent of list comprehensions, where the maps and
> folds constructs are analogous to the generator expressions.  Hence the
> proposal for incorporating filtering.

I agree, and your proposal seems reasonable. Does it interact okay
with multi-modedness?

Cheers,
Mark.