social-contract

High-level, composable syntax for describing contracts.

Build status: ok passing tests missing license metadata

Documentation Download
Authors
Documentation
Tags
License
    Last updatedTuesday, January 9th, 2024 1:23:02pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/countvajhula/social-contract.git2e13a5e492b63b569aaed9172a8cb86b9decca87
    Last checkedSunday, November 16th, 2025 8:54:58am (UTC)
    Last editedSaturday, August 21st, 2021 9:28:08pm (UTC)
    Date addedFriday, September 4th, 2020 8:43:44pm (UTC)
    Modules
    • tests/contract/social/private/util.rkt
    • contract/social/private/dependencies.rkt
    • contract/social/c3po/lexer.rkt
    • contract/social/scribblings/social-contract.scrbl
    • contract/social/c3po.rkt
    • contract/social/c3po/contract-parser.rkt
    • contract/social/c3po/base-parsers.rkt
    • contract/social/c3po/provide-parser.rkt
    • tests/contract/social/social-contract.rkt
    • contract/social/c3po/private/util.rkt
    • contract/social/c3po/parser.rkt
    • contract/social/c3po/compiler.rkt
    • contract/social.rkt