[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)
More information about the Haskell-Cafe