Age | Commit message (Collapse) | Author | Files | Lines |
|
requirement on first parameter.
(IndexedAggregate): Likewise.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Adjust caller.
(NRTsetVector4a): Likewise. Avoid special variable for environment.
* boot/utility.boot: Add and export substSource, substTarget.
* interp/define.boot: Use them.
|
|
|
|
Take environment as second parameter. Adjust callers.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
* algebra/boolean.spad.pamphlet (Logic): Move there.
(BooleanLogic): Likewise.
(PropositionalLogic): Likewise.
(PropositionalFormula): Likewise.
(PropositionalFormulaFunctions1): Likewise.
(PropositionalFormulaFunctions2): Likewise.
(KleeneTrivalentLogic): Likewise.
|
|
from nniBump. Fix thinko.
|
|
|
|
|
|
Define Rep, do not use base-domain form.
|
|
Define unconditionally, even it it does not make much sense in general.
|
|
|
|
Aggregate only. Adjust users.
(BagAggregate): Explicitly extend HomogeneousAggregate.
(AssociationListAggregate): Extend ShallowlyMutableAggregate.
|
|
Implement default.
* algebra/list.spad.pamphlet (List) [map!]: Likewise.
|
|
|
|
data structure directtly.
|