diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-12-09 02:35:52 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-12-09 02:35:52 +0000 |
| commit | 3351c2b4a9ce2106178bd1eae40b7559b03ba621 (patch) | |
| tree | 7fccdd64657cca900aebf884c11fde422eab81cf /src/algebra/real0q.spad.pamphlet | |
| parent | 52b3f7dee38b7a15e1b017e6a41ac63cbf6e95e8 (diff) | |
| download | open-axiom-3351c2b4a9ce2106178bd1eae40b7559b03ba621.tar.gz | |
r12415@gauss: gdr | 2008-12-06 11:42:45 -0600
Implement basic support for pattern matching.
r12416@gauss: gdr | 2008-12-06 18:09:19 -0600
Parse case pattern match.
r12417@gauss: gdr | 2008-12-06 21:28:30 -0600
Implement basic case pattern matching for retractable domain.
r12418@gauss: gdr | 2008-12-07 00:58:58 -0600
Refine retractability implementation.
r12419@gauss: gdr | 2008-12-07 01:39:32 -0600
Update cached Lisp translation
r12420@gauss: gdr | 2008-12-07 03:52:09 -0600
r12421@gauss: gdr | 2008-12-07 10:30:44 -0600
Implement type recovery too.
r12422@gauss: gdr | 2008-12-07 19:18:09 -0600
Simplify LET-forms and COND-forms.
r12423@gauss: gdr | 2008-12-07 21:21:12 -0600
Fix typos
r12424@gauss: gdr | 2008-12-08 01:14:54 -0600
Parse case-pattern in the interpreter.
r12427@gauss: gdr | 2008-12-08 20:32:29 -0600
Handle RetractableTo T.
Diffstat (limited to 'src/algebra/real0q.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions