tex.cam - a CAMILA abstract syntax for a LaTeX subset
texDef(m:STR,l:TeX):TeXCmd
texGdef(m:STR,l:TeX):TeXCmd
texCons(c:STR):TeXCmd
texDefMap(ff:STR->STR):TeX
texTeX2txt(l:TeX): txt
texTeXTabRow2txt(x:TeXTabRow): txt
texTeXArg2txt(x:TeXArg): txt
texTeXCmd2txt(c:TeXCmd): txt
This library provides for LaTeX outputs, which can be written to
files via txt.cam.
Only a tiny subset of LaTeX is considered.
The informal semantics of the operators are as follows:
texDef(m,l)
emulates the TeX def command.
texGdef(m,l)
emulates the TeX global def command.
texCons(c)
generates TeX constant macro c.
texDefMap(ff)
scales texDef up to collection of macro
definitions.
texTeX2txt(l:TeX)
converts TeX object l into txt-embedded
concrete syntax.
texTeXTabRow2txt(x)
converts TeXTabRow object x into
txt-embedded concrete syntax.
texTeXArg2txt(x)
converts TeXArg object x into txt embedded
concrete syntax.
texTeXCmd2txt(c)
converts TeXCmd object c into txt embedded
concrete syntax.
Manual(s)
of txt.cam seq.cam.
J.N. Oliveira (jno@di.uminho.pt)