search

UniFormal / IntelliJ-MMT

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

Grammar: syntax error with defined inclusions in structures #34

Open ComFreek opened 4 years ago

ComFreek commented 4 years ago

image