/GF_Typechecker

An attempt at implementing a typechecker via GF AST specifications using dependent types and higher order abstract syntax

Primary LanguageGrammatical FrameworkGNU General Public License v3.0GPL-3.0

GF_Typechecker

An attempt at implementing a typechecker via GF AST specifications using dependent types and higher order abstract syntax