A Language Server for Grammatical framework, providing errors and warnings and go-to-definition
-
Updated
Sep 29, 2023 - Haskell
A Language Server for Grammatical framework, providing errors and warnings and go-to-definition
Semantic verification of a Grammatical Framework grammar for expressing facts about countries and capitals in English and Swedish, using Montague semantics and WikiData.
a tool to test the coverage of the GF resource grammar
Add a description, image, and links to the grammatical-framework topic page so that developers can more easily learn about it.
To associate your repository with the grammatical-framework topic, visit your repo's landing page and select "manage topics."