https://github.com/countvajhula/social-contract

High-level, composable syntax for describing contracts in Racket.
https://github.com/countvajhula/social-contract

racket

Last synced: 22 days ago
JSON representation

High-level, composable syntax for describing contracts in Racket.

• Host: GitHub
• URL: https://github.com/countvajhula/social-contract
• Owner: countvajhula
• Created: 2020-09-04T18:28:05.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2022-01-08T20:13:56.000Z (almost 3 years ago)
• Last Synced: 2024-10-15T03:02:52.736Z (22 days ago)
• Topics: racket
• Language: Racket
• Homepage:
• Size: 245 KB
• Stars: 3
• Watchers: 3
• Forks: 1
• Open Issues: 4
• Metadata Files:
  • Readme: README.rst

Awesome Lists containing this project

README

        
.. 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 `_.

Read `the documentation `_ 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 `_.