search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 23 forks source link

Improve FileURI unapply method #450

Closed lambdaTotoro closed 5 years ago

lambdaTotoro commented 5 years ago

This fixes (parts of) the URI standard-noncompliance as discussed in issue #448.