lambdacube-2008.12.24: extchar.cube

Char :: *;
'a' :: Char;
'b' :: Char;
'c' :: Char;
'd' :: Char;
eqChar :: Char->Char->Bool;