At the moment, the [CI test](http://travis-ci.org/neothemachine/monadiccp) only checks if monadiccp can be compiled. It would be useful to actually do some unit/property tests. For the beginning, the existing examples could be used in unit tests to check against known results.
At the moment, the CI test only checks if monadiccp can be compiled. It would be useful to actually do some unit/property tests.
For the beginning, the existing examples could be used in unit tests to check against known results.