search

UniFormal / MMT

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

Created GF importer #484

Closed jfschaefer closed 5 years ago

jfschaefer commented 5 years ago

It can be used to import GF (Grammatical Framework) abstract syntaxes.

tkw1536 commented 5 years ago

LGTM, the test failures are also present on devel.

tkw1536 commented 5 years ago

Any objections against squashing and merging this?

jfschaefer commented 5 years ago

Any objections against squashing and merging this?

No objections from my side

tkw1536 commented 5 years ago

@jfschaefer I've merged this -- please delete the branch at your convenience unless it's still needed for some reason.