word

Signed and Unsigned Word datatype for Racket using refinement types.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedMonday, December 31st, 2018 9:00:48pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://gitlab.com/RayRacine/word.git280659a27d2e3581fe64e8d406435cbcbadf3182
Last checkedSunday, November 17th, 2019 1:44:23am (UTC)
Last editedThursday, June 7th, 2018 1:10:52pm (UTC)
Date addedN/A
Modules
  • word/main.rkt
  • word/scribblings/word.scrbl