LightClick is a linearly typed orchestration language for Systems-on-a-Chip Designs that supports lightweight dependent types in the form of domain-specific indexed-types.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool