aboutsummaryrefslogtreecommitdiff
path: root/src/share/algebra/category.daase
AgeCommit message (Expand)AuthorFilesLines
2009-06-15 * algebra/any.spad.pamphlet (Any): Remove domainOf, objectOf, anddos-reis1-111/+111
2009-06-11 * algebra/: Don't quote '!' at end of names.dos-reis1-698/+698
2009-06-10 * interp/parse.boot (parseHas): Preserve unnamed category forms.dos-reis1-698/+698
2009-06-07 * algebra/kl.spad.pamphlet (name$Kernel): Remove.dos-reis1-4/+4
2009-06-07 * algebra/domain.spad.pamphlet (DomainTemplate): New.dos-reis1-3129/+3131
2009-06-01 * interp/compiler.boot (compGreaterThan): Remove.dos-reis1-698/+698
2009-06-01 * interp/compiler.boot (compGreaterThan): New. Compiledos-reis1-698/+698
2009-05-31 * algebra/term.spad.pamphlet (is?$OperatorCategory): New.dos-reis1-1907/+2294
2009-05-30 * algebra/catdef.spad.pamphlet (SetCategory): Provide defaultdos-reis1-4/+4
2009-05-29 * algebra/algext.spad.pamphlet: Qualify `characteristic'.dos-reis1-606/+606
2009-05-28 * interp/compiler.boot (compVector): Tidy code generation.dos-reis1-606/+606
2009-05-28 * algebra/boolean.spad.pamphlet (PropositionalLogic): Now exportdos-reis1-107/+107
2009-05-25 * algebra/kl.spad.pamphlet (KernelFunctions2): Remove OrderedSetdos-reis1-4/+4
2009-05-25 Partial fix for AW/193 and AW/334.dos-reis1-27/+12
2009-05-21 * algebra/catdef.spad.pamphlet (before?$SetCategory): New.dos-reis1-608/+608
2009-05-17 * algebra/op.spad.pamphlet: Use symbol literals for property names.dos-reis1-606/+606
2009-05-16 * algebra/op.spad.pamphlet (assert$BasicOperator): Remove overloaddos-reis1-1/+1
2009-05-16 * algebra/any.spad.pamphlet: Tidy. Redeuce Lisp usage.dos-reis1-6/+6
2009-05-15 * algebra/algfunc.spad.pamphlet (AlgebraicFunction): Userdos-reis1-6/+6
2009-05-15 * algebra/expr.spad.pamphlet (FunctionSpaceAttachPredicates): Tidy.dos-reis1-6/+6
2009-05-15 * algebra/op.spad.pamphlet (assert$BasicOperator): Overload fordos-reis1-606/+606
2009-05-14 * algebra/any.spad.pamphlet (RuntimeValue): New domain.dos-reis1-1448/+1445
2009-05-11(no commit message)dos-reis1-609/+610
2009-05-09 * algebra/term.spad.pamphlet (zero?$Arity): New.dos-reis1-607/+608
2009-05-05 * algebra/op.spad.pamphlet (property$BasicOperator): Overload withdos-reis1-608/+608
2009-04-24 * algebra/syntax.spad.pamphlet (new$Identifier): New.dos-reis1-606/+606
2009-04-23 * interp/c-util.boot (extendsCategoryForm): Use current categorydos-reis1-606/+606
2009-04-20 * interp/sys-constants.boot ($Identifier): New.dos-reis1-609/+609
2009-04-19 * algebra/any.spad.pamphlet (Binding): Define Rep. Tidy.dos-reis1-2586/+2588
2009-03-01 Optimization should not change slot numbers.dos-reis1-3154/+3154
2009-02-19 * algebra/catdef.spad.pamphlet (characteristic$Ring): Make ados-reis1-3154/+3154
2009-02-15 * algebra/data.spad.pamphlet (ByteBuffer): Tidy. Manage sizedos-reis1-610/+610
2009-02-07 * algebra/system.spad.pamphlet (hostByteOrder$System): New.dos-reis1-3113/+3114
2009-02-04 * algebra/boolean.spad.pamphlet (Boolean): Tidy.dos-reis1-104/+104
2009-02-02 * algebra/domain.spad.pamphlet (FunctionDescriptor): New.dos-reis1-3005/+3007
2009-01-28 * algebra/domain.spad.pamphlet (findConstructor$Constructor): New.dos-reis1-3150/+3150
2009-01-13 * algebra/net.spad.pamphlet (InputByteConduit): Add readInt8!,dos-reis1-664/+665
2009-01-09 * algebra/data.spad.pamphlet (Byte): Satisfy OrderedFinite.dos-reis1-2576/+2583
2009-01-07 * interp/sys-utility.boot (readByteFromFile): Tidy.dos-reis1-606/+606
2009-01-07 * algebra/net.spad.pamphlet (resolve$Hostname): Return a Maybe %.dos-reis1-4/+4
2009-01-07 * algebra/any.spad.pamphlet (Maybe): Rework.dos-reis1-610/+612
2009-01-032009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-606/+606
2008-12-27 * algebra/catdef.spad.pamphlet (OrderedFinite): Export `min' anddos-reis1-5/+5
2008-12-27 * algebra/net.spad.pamphlet (readBytes!$InputByteConduit): Setdos-reis1-4/+4
2008-12-26 r12485@gauss: gdr | 2008-12-17 16:26:21 -0600dos-reis1-3083/+3088
2008-12-09 * algebra/term.spad.pamphlet: New. Implement Arity anddos-reis1-3127/+3130
2008-12-05 r12404@gauss: gdr | 2008-12-04 21:21:54 -0600dos-reis1-679/+815
2008-11-20 * algebra/coerce.spad.pamphlet (HomotopicTo): New.dos-reis1-2364/+2476
2008-11-20 * algebra/coerce.spad.pamphlet (CoercibleFrom): New.dos-reis1-1725/+1725
2008-10-24 Add basic support for stream client socket.dos-reis1-2595/+2598