Skip to content
GitLab
Explore
Sign in
Diffrac
coqeffects
Repository
coqeffects
license.txt
Find file
Blame
History
Permalink
Added license, and revised readme
· 2e920dc6
Diffrac
authored
Aug 24, 2016
2e920dc6
This project is licensed under the
GNU General Public License v3.0 only
.
Learn more