diff options
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. |