Alga.Language

type SyntaxTree

data Sel

type Principle

type NRatio

data Element a

data AlgaEnv m a

class HasEnv m

runAlgaEnv

addDef

remDef

clearDefs

getPrin

getSrc

fullSrc

getRefs

purgeEnv

checkRecur

evalDef

eval

toPrin