asajeffrey / agda-typeck

A partial implementation of Luau typechecker in Agda for machine verification

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

asajeffrey/agda-typeck Issues

No issues in this repository yet.