-
Hans-Peter Deifel authored
Since the latest work changes the `minimize` command to actually do minimization, simply printing a coalgebra wasn't exposed in the CLI anymore. This brings it back under the `debug` subcommand.
09b1f842
Since the latest work changes the `minimize` command to actually do minimization, simply printing a coalgebra wasn't exposed in the CLI anymore. This brings it back under the `debug` subcommand.