wmacmil / GF_Typechecker

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

Geek Repo

Github PK Tool