mirror of
https://github.com/Stichting-MINIX-Research-Foundation/pkgsrc-ng.git
synced 2025-09-25 13:00:22 -04:00
10 lines
417 B
Plaintext
10 lines
417 B
Plaintext
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.
|