
11 Feb
2010
11 Feb
'10
12:41 p.m.
http://web.cecs.pdx.edu/~mpj/thih/
Looks like its a type _checker_ though...
On 11 February 2010 17:39, Stephen Tetley
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