[Haskell-cafe] Sifflet type checker
lemming at henning-thielemann.de
Mon Jul 9 20:34:27 CEST 2012
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. :-(
>>  http://www.youtube.com/watch?v=sXywCHR9WwE
> Ah, I enjoyed the performance!
Nice to hear that you like it!
More information about the Haskell-Cafe