[Haskell-cafe] Is Curry alive?

[Ross Paterson]

On Thu, Nov 04, 2010 at 06:06:40PM -0400, Dan Doel wrote:
> Implementing type inference can be very easy in a logic language,
> because most of the work in a non-logic language is implementing
> unification:

Provided the implementation includes the occurs check.