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