Name		Name	Last commit message	Last commit date
Harper.gf		Harper.gf
HarperEng.gf		HarperEng.gf
LICENSE		LICENSE
README.md		README.md

Repository files navigation

GF_Typechecker

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

About

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

GPL-3.0 license

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages