search

gts-morpher / gts_morpher

Tool for building GTS Morphisms and Amalgamations
MIT License
4 stars 0 forks source link

Ensure no exceptions if rule elements are unnamed #24

Closed szschaler closed 4 years ago

szschaler commented 4 years ago

Related to #21 and #23, but I expect there may be wider implications. Need to make sure that this is covered well with tests.