lathe-ordinals-lib

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

Build status:

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 checkedSunday, February 17th, 2019 10:50:51pm (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