countvajhula / social-contract

High-level, composable syntax for describing contracts in Racket.
3 stars 1 forks source link
racket

.. image:: https://github.com/countvajhula/social-contract/actions/workflows/test.yml/badge.svg :target: https://github.com/countvajhula/social-contract/actions/workflows/test.yml

.. image:: https://coveralls.io/repos/github/countvajhula/social-contract/badge.svg?branch=master :target: https://coveralls.io/github/countvajhula/social-contract?branch=master

social-contract

Collectively-defined contracts for commonly encountered types in Racket.

Install it from the Racket Package Index <https://pkgs.racket-lang.org/package/social-contract>. Read the documentation <https://docs.racket-lang.org/social-contract/index.html> to learn more.

"License":

This work is "part of the world." You are free to do whatever you like with it and it isn't owned by anybody, not even the creators. Attribution would be appreciated and would help, but it is not strictly necessary nor required. If you'd like to learn more about this way of doing things and how it could lead to a peaceful, efficient, and creative world (and how you can be involved), visit drym.org <https://drym.org>_.