elsa-0.2.2.0: A tiny language for understanding the lambda-calculus
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Elsa.Runner

Documentation

topMain :: IO () Source #

runElsa :: Mode -> FilePath -> Text -> IO () Source #

runElsaId :: FilePath -> Id -> IO (Maybe (Result ())) Source #