From b2ad5cf6724a5caeab0a99796228a8425c334858 Mon Sep 17 00:00:00 2001 From: is Date: Fri, 18 Sep 2009 14:09:26 +0000 Subject: ordCalc is a program for interactively dealing with ordinals (generalized integers). --- math/ordCalc/DESCR | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 math/ordCalc/DESCR (limited to 'math/ordCalc/DESCR') 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. -- cgit v1.2.3