@hackage / chp-spec

A mirror implementation of chp that generates a specification of the program