@hackage / hoare

Simple tools for communicating sequential processes