Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool