At 2001-12-10 16:07, uma kompella wrote: >i am new to haskell and am having a problem to write >function which takes a boolean expression and returns >a truthvalue stating whether or not it is a tautology. If you really want to impress your tutor, see if you can find a function that does this in polynomial time. -- Ashley Yakeley, Seattle WA