[Haskell-cafe] Type inference algorithm in Prolog and Haskell oleg at okmij.org oleg at okmij.org Fri Nov 5 03:43:59 EDT 2010 Previous message: [Haskell-cafe] Re: HSCurses - Hello World? (can't find much documentation) Next message: [Haskell-cafe] Rigid types fun Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Dan Doel wrote: > Implementing type inference can be very easy in a logic