Parentheses do not work in definienses of module-level structural features

UniFormal / MMT

The MMT Language and System

https://uniformal.github.io/

Other

68 stars 23 forks source link

Closed ComFreek closed 3 years ago

ComFreek commented 4 years ago

E.g.

diagram SFOL_via_operator : ?LogicDiagramOperators := TYPIFY FOL (DIAG FROM FILE "<path-on-disk>\MathHub\MMT\LATIN2\source\logic\fol.mmt") ❚

results in

ComFreek commented 3 years ago

Parentheses do work if one has the ur:?mmt theory as a (transitive) meta theory. That theory has basic stuff like parentheses.