An attempt at implementing a typechecker via GF AST specifications using dependent types and higher order abstract syntax
-
Notifications
You must be signed in to change notification settings - Fork 0
An attempt at implementing a typechecker via GF AST specifications using dependent types and higher order abstract syntax
License
wmacmil/GF_Typechecker
About
An attempt at implementing a typechecker via GF AST specifications using dependent types and higher order abstract syntax
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published