[Haskell-cafe] Function Types

[Bernie Pope]

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
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe