[Haskell-cafe] Sifflet type checker

[Henning Thielemann]

On Mon, 9 Jul 2012, gdweber at iue.edu wrote:

> data Type = TypeVar TypeVarName          -- named type variable
>          | TypeCons TypeConsName [Type] -- constructed type
>            deriving (Eq)
>
> Do you still think my type checker would be useful to you,
> or to Haskellers generally?

I see. Then it is probably not very useful for me. :-(


>> [1] http://www.youtube.com/watch?v=sXywCHR9WwE
>
> Ah, I enjoyed the performance!

Nice to hear that you like it!