Re: Parse error for equations

[Chris Warburton]

te-benchmark has now got support for lambdas. We also have support for
rendering lambdas in haskell-te's renderEqs, and for parsing them in
isaplanner-tip's eqsToJson.

One thing which remains is to curry multi-argument lambdas. The syntax
for this can be seen at (for example):

https://stackoverflow.com/questions/33321391/normal-constant-definition-versus-lambda-constant-definition

The way we curry is simply to have:

    %x y. foo x y

Become:

    Lam Nothing (Lam Nothing (App (App (Const "foo") (Var (Bound 1)))
                                  (Var (Bound 0))

(In the internal format of eqsToJson)