9 Jul
2012
9 Jul
'12
2:34 p.m.
On Mon, 9 Jul 2012, gdweber@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. :-(
Ah, I enjoyed the performance!
Nice to hear that you like it!