diff options
| author | is <is@pkgsrc.org> | 2009-09-18 14:09:26 +0000 |
|---|---|---|
| committer | is <is@pkgsrc.org> | 2009-09-18 14:09:26 +0000 |
| commit | b2ad5cf6724a5caeab0a99796228a8425c334858 (patch) | |
| tree | 0fe5d4eb7c5f15298d726698f07dfed314e20f73 /math/ordCalc/DESCR | |
| parent | 5d19911a3f8c8fe73be4497c0e8d89ae7472babb (diff) | |
| download | pkgsrc-b2ad5cf6724a5caeab0a99796228a8425c334858.tar.gz | |
ordCalc is a program for interactively dealing with ordinals (generalized
integers).
Diffstat (limited to 'math/ordCalc/DESCR')
| -rw-r--r-- | math/ordCalc/DESCR | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/math/ordCalc/DESCR b/math/ordCalc/DESCR new file mode 100644 index 00000000000..e8722f282bf --- /dev/null +++ b/math/ordCalc/DESCR @@ -0,0 +1,9 @@ + OrdCalc + An interactive tool to understand the recursive ordinals + +'ord' is a program for understanding the recursive ordinals. +It has a command line interpreter resembling command line calculators. + +See 'ordCalc.pdf' for a brief description of how to use the interpreter. +See 'ordinal.pdf' for a description of the structure of the program and the +theory on which it is based. |