funcmp-1.1: Functional MetaPost
FMP.Term
data Term Source
Constructors
Instances
max' :: [Term] -> TermSource
pair :: Term -> Term -> TermSource
add :: Term -> Term -> TermSource
sub :: Term -> Term -> TermSource
mul :: Term -> Term -> TermSource