[Haskell-cafe] Define a data structure of a predicate
sarakenedy at gmail.com
Wed Oct 5 13:13:47 EDT 2005
Hello you all,
I am a newbie in Haskell. Now I am working on datatype structure of
Haskell, especially on predicate. Today I try to search on Internet to
find the reference document but I did not find the specific. If any of
you know how to define a data structure for the abstract syntax of
predicate logicI , for example : x^2 + 3*x + 2 > 0, if you don't mind,
please share with me.
Thanks in advance.
More information about the Haskell-Cafe