C

coqeffects

Project information

A categorical framework for effects in Coq. (L3 internship)

6 Commits
1 Branch
0 Tags

README
GNU GPLv3

Created on

June 29, 2016

Loading