Dialects are required to help you specialise the fresh set of connectives by Replacing NEWCONNECTIVE with zero or more new connective symbols. Dialects cannot keep the extension point. Dropping no or maybe more of yourContinue reading
Dialects are required to help you specialise the fresh set of connectives by Replacing NEWCONNECTIVE with zero or more new connective symbols. Dialects cannot keep the extension point. Dropping no or maybe more of yourContinue reading