social-contract

Collectively-defined contracts for commonly encountered types.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedWednesday, November 4th, 2020 6:03:11am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/countvajhula/social-contract.gitaed8e30fca16fb7e640fedae5492d44064394095
Last checkedThursday, March 4th, 2021 10:52:22am (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