word

Signed and Unsigned Word datatype for Racket using refinement types.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedWednesday, June 6th, 2018 3:27:41pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://gitlab.com/RayRacine/word.gitfbb1ab5f2ae2613a697d130d756218bcf0fb7bb7
Last checkedTuesday, July 17th, 2018 3:46:59pm (UTC)
Last editedThursday, June 7th, 2018 1:10:52pm (UTC)
Modules
  • word/main.rkt
  • word/scribblings/word.scrbl