Code Snippets Grammatical Framework

Short texts Grammatical Framework 🧑‍💻 Code snippets Grammatical Framework ✍️ Reading lists Grammatical Framework 👀

Different strategies of getting around the lack of ConjUtt

abstract TestConj = { flags startcat = MyUtt ; cat MyUtt ; MyCl ; fun testUtt : MyUtt ; testCl : MyCl ; conjDifferentTypes1, conjDifferentTypes2, conjDifferentTypes3 : MyCl -> MyUtt -> MyUtt ; } concrete TestConjEng of TestConj = open Prelude, Coordination, — for low-level opers SyntaxEng, LexiconEng in { lincat MyUtt = Utt ; […]