helium-1.8: The Helium Compiler.
Helium.StaticAnalysis.Directives.TS_Parser
Description
(directives based on Scripting the Type Inference Process, ICFP 2003)
parseTypingStrategies :: OperatorTable -> String -> [Token] -> Either ParseError TypingStrategiesSource
special :: GenParser (SourcePos, Lexeme) SourcePos NameSource
judgementToSimpleJudgement :: Judgement -> SimpleJudgementSource
showExpression :: Expression -> StringSource