CspBookHs
Some snippets I wrote while reading CAR Hoare's book on Communicating Sequential Processes. The book itself suggests implementing the ideas using a LISP, so I decided to be difficult and do it in Haskell instead.
Some snippets I wrote while reading CAR Hoare's book on Communicating Sequential Processes. The book itself suggests implementing the ideas using a LISP, so I decided to be difficult and do it in Haskell instead.