On Mon, 9 Jul 2012, gdwe...@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!
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe