Grammar: metadata in views not recognized

UniFormal / IntelliJ-MMT

An IntelliJ-Plugin for MMT (under development)

3 stars 1 forks source link

Open ComFreek opened 4 years ago

ComFreek commented 4 years ago

view vvv : ?MyScrollProblem -> ?MyScrollProblem =
  meta ?ScrollBase?isScrollAndCorrespondsTo "a" "b" ❙
❚