Still need to handle proper implementation of Show.
E.g. if we have a function
h x y (f a b) z (g a b)
It is currently output as
h x y f a b z g a b
Which is less than ideal.
May need to incur building a separate AST data structure, because everything is curried for a TSL.Logic.FunctionTerm. For instance, a simple example of the form
f x y
is parsed as
FApplied (FApplied (FunctionSymbol f) Signal x) Signal y
Still need to handle proper implementation of
Show.E.g. if we have a function
It is currently output as
Which is less than ideal.
May need to incur building a separate AST data structure, because everything is curried for a
TSL.Logic.FunctionTerm. For instance, a simple example of the formis parsed as