lathe-ordinals-lib

Ordinal numbers supporting addition, multiplication, and exponentiation. (lib)

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, January 29th, 2019 6:40:44pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/lathe/lathe-ordinals-for-racket.git?path=lathe-ordinals-libd6261936fbd274104c923fc70a2bb7c2a5908339
Last checkedMonday, October 21st, 2019 10:17:54pm (UTC)
Last editedThursday, May 31st, 2018 1:49:16am (UTC)
Date addedN/A
Modules
  • lathe-ordinals/olist-codata.rkt
  • lathe-ordinals/main.rkt
  • lathe-ordinals/olist.rkt