word

Signed and Unsigned Word datatype for Racket using refinement types.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, July 27th, 2021 3:41:34pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://gitlab.com/RayRacine/word.git280659a27d2e3581fe64e8d406435cbcbadf3182
Last checkedThursday, December 2nd, 2021 6:06:49pm (UTC)
Last editedThursday, June 7th, 2018 1:10:52pm (UTC)
Date addedN/A
Modules
  • word/main.rkt
  • word/scribblings/word.scrbl