Surface syntax should support "view v: ?S -> ?T" without space after "v" - Githubissues

UniFormal / MMT

The MMT Language and System

https://uniformal.github.io/

Other

68 stars 23 forks source link

Surface syntax should support "view v: ?S -> ?T" without space after "v" #524

Open ComFreek opened 4 years ago

ComFreek commented 4 years ago

Before:
After (yellow because view is partial):

This caught me several times in the last years in fact.