lathe-ordinals-lib

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

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedFriday, August 13th, 2021 3:17:01am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/lathe/lathe-ordinals-for-racket.git?path=lathe-ordinals-lib#mainf9f7b132a7e40a323a39a7c52c4280ae68f33889
Last checkedSunday, October 17th, 2021 3:42:35pm (UTC)
Last editedFriday, March 12th, 2021 3:25:59am (UTC)
Date addedFriday, March 12th, 2021 3:25:59am (UTC)
Modules
  • lathe-ordinals/olist-codata.rkt
  • lathe-ordinals/olist.rkt
  • lathe-ordinals/main.rkt