search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 23 forks source link

Merge diagram operators: added TYPEINDEXIFY #495

Closed ComFreek closed 4 years ago

ComFreek commented 4 years ago

(mostly merging due to added documentation in MMT API files, from which everyone would benefit, I think)