[Haskell-cafe] haskell-src type inference algorithm?

[Stephen Tetley]

http://web.cecs.pdx.edu/~mpj/thih/

Looks like its a type _checker_ though...


On 11 February 2010 17:39, Stephen Tetley <stephen.tetley at gmail.com> wrote:
> Hello Job
>
> For Haskell 98 would the code from 'Typing Haskell in Haskell' paper suffice?
>
> A web search should find the code...
>
> Best wishes
>
> Stephen
>