aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/compiler.spad.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2016-01-16Reduce dependencies on databases to catgeory.daase during algebra buildGabriel Dos Reis1-9/+12
2010-03-13 * algebra/compiler.spad.pamphlet: Add more IR contructordos-reis1-6/+86
functions. Elaborate definitions.
2010-03-13 * algebra/compiler.spad.pamphlet (InternalRepresentationForm): Tidy.dos-reis1-9/+79
(InternalTypeForm): Likewise. (CompilerPackage): Expand.
2010-03-12 * algebra/compiler.spad.pamphlet: New.dos-reis1-1/+46
(InternalTypeForm): New. (Elaboration): New.
2010-03-12 * algebra/compiler.spad.pamphlet: New.dos-reis1-0/+96