• register
  • log in

hub.darcs.net :: kyagrd -> Ordinals -> files

Ordinals up to epsilon_0

root

  • Math
  • ChangeLog
  • LICENSE
  • Main.hs
  • Ordinals.cabal
  • Setup.lhs
  • files
  • changes
  • fork
  • download .zip
  • darcs get url
  • darcsden 1.2 beta built Jun 23 201810:48:19
  • report problems to simon