Skip to content

cgswords/ccon

master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
con
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

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

About

Concurrent Contracts

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published