coq-io / io

A library for effects in Coq.

http://coq.io/

Geek Repo

Github PK Tool