Path to this page:
./
math/ordCalc,
Ordinal arithmetic calculator and research tool
Branch: pkgsrc-2009Q4,
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:[
devel/bison] [
devel/libtool-base] [
devel/gmake]
Master sites:
SHA1: a9a2978830b948b7f12ee247593ba94775a87672
RMD160: 556b6b94e98705fed9287d2c35a7e640b9c0274b
Filesize: 504.111 KB
Version history: (Expand)
- (2010-01-15) Package added to pkgsrc.se, version ordCalc-0.1 (created)