a minimal dependently typed language with equality resolving at runtime
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool