An implementation of Gödel's T in GF
Primary LanguageGrammatical FrameworkGNU General Public License v3.0GPL-3.0