social-contract

High-level, composable syntax for describing contracts.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, August 31st, 2021 5:44:17pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/countvajhula/social-contract.gitea92ab0a5bcb342eb969a34fb3c7f981cc79de60
Last checkedTuesday, October 26th, 2021 5:03:20pm (UTC)
Last editedSaturday, August 21st, 2021 9:28:08pm (UTC)
Date addedFriday, September 4th, 2020 8:43:44pm (UTC)
Modules
  • contract/social/c3po/contract-parser.rkt
  • contract/social/c3po.rkt
  • contract/social/c3po/compiler.rkt
  • contract/social/c3po/private/util.rkt
  • tests/contract/social/private/util.rkt
  • tests/contract/social/social-contract.rkt
  • contract/social/scribblings/social-contract.scrbl
  • contract/social/c3po/parser.rkt
  • contract/social/private/dependencies.rkt
  • contract/social/c3po/provide-parser.rkt
  • contract/social/c3po/base-parsers.rkt
  • contract/social/c3po/lexer.rkt
  • contract/social.rkt