Some bits and bobs from CAR Hoare's Communicating Sequential Processes book
Primary LanguageHaskellOtherNOASSERTION