Type-theory 101. Integers, booleans, lists, vectors and some proofs about their properties
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool