Functional equations via the library

[SuprDewd]

Currently it only seems to be possible to specify functional equations via the command line. It would be nice if this was available through the library, without resorting to parsing a hops program.

[akc]

This can already be done. Maybe not the prettiest, but here are the Fibonacci numbers:

> evalCorePrg (emptyEnv :: Env 5) [Let "f" (1 + (X+X^2)*Var "f")]
series (Proxy :: Proxy 5) [Val (1 % 1),Val (1 % 1),Val (2 % 1),Val (3 % 1),Val (5 % 1)]

[SuprDewd]

That's great, but a simpler way would be preferable.