Skip to content
GitLab

implement coalgebra printing

Merged Bastian Kauschke requested to merge ParseMorphism into master

closes #9 (closed)

Edited by Bastian Kauschke