coq-io / list

Generic functions on lists with effects. [merged into https://github.com/coq-io/io]

http://coq.io/

Geek Repo

Github PK Tool