Now I am trying on a simple translator module. This module needs to translate an input string( this string represent a formula) as follows:
(x^2 - 5x + 4=0) /\ (x^3 - 5>0) -> x>3
And I want the output string represent a formula like:
(x^2 - 5x + 4=0) /\ (x^3 - 5>0) IMPLIES x>3, i.e, the translator attempt to translate (->) into IMPLIES.
If you have ay suggesstions for that kind of problems, please share with me. I appreciate for that. Thanks all for your time.
Nguyen,
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
