Mida.Language
type SyntaxTree
data Sel
type Principle
data Element a
data MidaEnv m a
class HasEnv m
runMidaEnv
addDef
remDef
clearDefs
getPrin
getSrc
fullSrc
getRefs
purgeEnv
checkRecur
evalDef
eval
toPrin