Safe Haskell | Safe-Inferred |
---|
Documentation
type SimpleJudgements = [SimpleJudgement]Source
type TypingStrategies = [TypingStrategy]Source
data TypingStrategy Source
data UserStatement Source
type UserStatements = [UserStatement]Source
Safe Haskell | Safe-Inferred |
---|
type SimpleJudgements = [SimpleJudgement]Source
type TypingStrategies = [TypingStrategy]Source
data TypingStrategy Source
data UserStatement Source
type UserStatements = [UserStatement]Source