Shifting of application conditions

gts-morpher / gts_morpher

Tool for building GTS Morphisms and Amalgamations

MIT License

4 stars 0 forks source link

Closed szschaler closed 4 years ago

szschaler commented 4 years ago

A first step towards #4.

szschaler commented 4 years ago

@narudocap thanks, but this wasn't actually ready yet... I'll have to revert the merge unfortunately...