social-contract

Collectively-defined contracts for commonly encountered types.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedWednesday, October 14th, 2020 8:49:59pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/countvajhula/social-contract.git81b08b501d56e4c73740596603de4c0ca4c6cd6e
Last checkedSaturday, October 24th, 2020 4:50:00am (UTC)
Last editedFriday, September 4th, 2020 8:43:44pm (UTC)
Date addedFriday, September 4th, 2020 8:43:44pm (UTC)
Modules
  • contract/social/scribblings/social-contract.scrbl
  • contract/social.rkt
  • tests/private/util.rkt
  • tests/social.rkt