./math/ordCalc, Ordinal arithmetic calculator and research tool

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: pkgsrc-2009Q3, Version: 0.1, Package name: ordCalc-0.1, Maintainer: is

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.


Required to run:
[devel/gmp]

Required to build:
[shells/bash] [devel/libtool-base] [devel/bison] [devel/gmake]

Master sites:

SHA1: a9a2978830b948b7f12ee247593ba94775a87672
RMD160: 556b6b94e98705fed9287d2c35a7e640b9c0274b
Filesize: 504.111 KB

Version history: (Expand)