package

Ordinals

Description

Ordinal arithmetic.

Description

hackage.haskell.org

Ordinal arithmetic implementation up to epsilon_0. Currently based on interated multiset representation, planning to add CNF based implenetation.

Metadata

Version

0.0.0.2

License

Status

Source

pkgs/development/haskell-modules/hackage-packages.nix:16369

Homepage

https://hackage.haskell.org/package/Ordinals

Platforms (75)

Darwin

FreeBSD

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

WASI

Windows

Show all