Inductive dependently-typed witnesses for working with type-level lists.
Home Page:http://mstksg.github.io/list-witnesses
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool