change license to AGPL-3.0-or-later

diff --git a/ReadMe.md b/ReadMe.md
index 0a7ed4f2d1e7e02bb68c241b5fcd30dca6d61a99..2770cb320d62e8a8e4b96e3e6dcdcd2ae9d80aed 100644 (file)
--- a/ReadMe.md
+++ b/ReadMe.md
@@ -12,7 +12,7 @@
 
 - No support for general purpose registers in the `Machine` producing the `TemplateHaskell` splices (maybe it will come if I need and understand what's done in `ParsleyHaskell`).
 
-- License is `GPL-3.0-or-later` not `BSD-3-Clause`.
+- License is `AGPL-3-or-later` not `BSD-3-Clause`.
 
 ### Main goals
 

diff --git a/symantic-parser.cabal b/symantic-parser.cabal
index 9be5c7fc544bbffa484156a5cffd0133fe965863..407c6febb34d0b411306e6a9f020a01fca562c2e 100644 (file)
--- a/symantic-parser.cabal
+++ b/symantic-parser.cabal
@@ -12,7 +12,7 @@ description:
   Pickering, admirably well presented at ICFP-2020: [Staged
   Selective Parser
   Combinators](https://icfp20.sigplan.org/details/icfp-2020-papers/20/Staged-Selective-Parser-Combinators).
-license: GPL-3.0-or-later
+license: AGPL-3.0-or-later
 author:      Julien Moutinho <julm+symantic-parser@sourcephile.fr>
 maintainer:  Julien Moutinho <julm+symantic-parser@sourcephile.fr>
 bug-reports: Julien Moutinho <julm+symantic-parser@sourcephile.fr>