I have implemented a reasonably simple language and interpreter
called "baskell".
The language is essentially a very small subset of Haskell.
It was designed to show students how type checking works.
You can find it here: http://www.cs.mu.oz.au/~bjpop/code.html
Cheers,
Bernie.
On 23/10/2007, at 11:31 AM, PR Stanley wrote:
Hi
What are the rules for calculating function types?
Is there a set procedure ?
Thanks, Paul
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
