[Haskell-cafe] Re: [Haskell] Simple IO Regions

Mark T.B. Carroll mark at ixod.org
Thu Jan 19 14:42:04 EST 2006

Brandon Moore <brandonm at yahoo-inc.com> writes:

> The term I've heard is "skolem constant", which is a freshly invented
> thing distinct from everything else.

There's a nice easy-going example in chapter 8 of
where quantifiers are removed from first-order formulae.

(this aside moved from haskell to haskell-cafe)

-- Mark

More information about the Haskell-Cafe mailing list