search

gts-morpher / gts_morpher

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

xDSML keyword #52

Closed szschaler closed 3 years ago

szschaler commented 3 years ago

As it says on the tin, this introduces the xdsml keyword as a synonym for gts.

Closes #51