Forall | TypeChecker.HindleyMilner |
fresh | TypeChecker.HindleyMilner |
Fun | |
1 (Type/Class) | Transformations.Simplifier.SimplifiedAst |
2 (Data Constructor) | Transformations.Simplifier.SimplifiedAst |
3 (Type/Class) | Parser.Ast |
4 (Data Constructor) | Parser.Ast |
Forall | TypeChecker.HindleyMilner |
fresh | TypeChecker.HindleyMilner |
Fun | |
1 (Type/Class) | Transformations.Simplifier.SimplifiedAst |
2 (Data Constructor) | Transformations.Simplifier.SimplifiedAst |
3 (Type/Class) | Parser.Ast |
4 (Data Constructor) | Parser.Ast |