Skip to content
GitLab
Explore
Sign in
Diffrac
coqeffects
Repository
coqeffects
README
Find file
Blame
History
Permalink
Added license, and revised readme
· 2e920dc6
Diffrac
authored
Aug 24, 2016
2e920dc6