search

gts-morpher / gts_morpher

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

Explicitly mark up return type #20

Closed szschaler closed 5 years ago

szschaler commented 5 years ago

There seems to be a bug in Xtend's type inference here.