Finished initial implementation of size-termination algorithm. Codata not yet supported. Algorithm yet to be tested.
Finished initial implementation of size-termination algorithm. Codata not yet supported. Algorithm yet to be tested.

tdidriksen/copatterns