search

UniFormal / IntelliJ-MMT

An IntelliJ-Plugin for MMT (under development)
3 stars 1 forks source link

Extend grammar with meta theories of diagram operators #25

Closed ComFreek closed 4 years ago

ComFreek commented 4 years ago

image

PS: I cannot self-assign this (insufficient repo rights). But I'll fix that.