social-contract (racket): High-level, composable syntax for describing contracts.
Keywords: contracts|dsl|standards|syntax|types|racket