Get someone knowledgeable to correct Paul's proto-semi-formal MMT
I wrote a sample MMT file, trying to ape the syntax.
It is here
It is obviously wrong in many places. I need some help fixing it, so I can write more in earnest.
I know in particular that I am using MMT theories as MMT types, and that's a big non-no.