social-contract

High-level, composable syntax for describing contracts.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedSaturday, January 8th, 2022 10:00:19pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/countvajhula/social-contract.git2e13a5e492b63b569aaed9172a8cb86b9decca87
Last checkedTuesday, May 17th, 2022 4:47:03pm (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