/ccon

Concurrent Contracts

Primary LanguageRacketMIT LicenseMIT

racket-rrb

Racket ICFP15 Implementation for Expressing Contract Monitors as Patterns of Communication

To Install:

$ raco pkg install git://github.com/cgswords/comm-con

or

$ git clone git://github.com/cgswords/comm-con
$ cd comm-con
$ raco pkg install

Usage

To Do