[Haskell-cafe] Basic Haskell Types Question

Ketil Malde ketil+haskell at ii.uib.no
Fri Sep 16 08:35:18 EDT 2005

Adam Wyner <adam at wyner.info> writes:

> I really want to get the following sort of report for the type:
> negationAtomicProps atomicProps1 :: PropList

GHCi seems to get this right.  Is that an option for you?

If I haven't seen further, it is by standing in the footprints of giants

More information about the Haskell-Cafe mailing list