mstksg / list-witnesses

Inductive dependently-typed witnesses for working with type-level lists.

http://mstksg.github.io/list-witnesses

Geek Repo

Github PK Tool