Giters

clayrat / idris-bi

Port of {P|N|Z}Arith from Coq to Idris

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

clayrat/idris-bi Stargazers