Rename base and containers to agda2hs-base and agda2hs-containers respectively

Author: jespercockx

docs/source/introduction.md

@@ -9,7 +9,7 @@
 - [Agda programming language](https://github.com/agda/agda)
   - version >= 2.6.4 && < 2.6.5
 - [Agda standard library](https://github.com/agda/agda-stdlib)
-- Agda library `base`
+- Agda library `agda2hs-base`
   - this Agda library is included in the `agda2hs` repository; see
     [`base.agda-lib`](https://github.com/agda/agda2hs/blob/master/lib/base/base.agda-lib)
   - you can navigate the library in [HTML format](https://agda.github.io/agda2hs/lib/),
@@ -34,7 +34,7 @@ agda2hs locate >> ~/.agda/libraries
 Optionally, the `base.agda-lib` library can also be added as a default global import:
 
 ```sh
-echo base >> ~/.agda/defaults
+echo agda2hs-base >> ~/.agda/defaults
 ```
 
 ### Manual installation
@@ -51,7 +51,7 @@ cabal install
 # register the base Agda library
 echo $(pwd)/lib/base/base.agda-lib >> ~/.agda/libraries
 # register the base Agda library as a default
-echo base >> ~/.agda/defaults
+echo agda2hs-base >> ~/.agda/defaults
 ```
 
 ### Running `agda2hs`
@@ -74,8 +74,8 @@ TODO: integrate agda2hs as a preprocessor for stack
 
 ### Creating an Agda2Hs project
 
-All agda2hs projects should have a dependency on the `base` library provided by
-Agda, and can also optionally depend on the `containers` library. Using Agda's
+All agda2hs projects should have a dependency on the `agda2hs-base` library provided by
+Agda, and can also optionally depend on the `agda2hs-containers` library. Using Agda's
 standard library with agda2hs is not supported.
 
 All agda2hs projects should enable the `--erasure` option of Agda. It is also

docs/source/tutorials.md

@@ -23,7 +23,7 @@ This is how the `example-basics.agda-lib` file looks for our project:
 ```
 name: example-basics
 include: .
-depend: base
+depend: agda2hs-base
 flags: --erasure --no-projection-like
 ```
 The `include` label specifies the current folder as the path for files to be included in the library. For our toy example it works perfectly, but for a bigger library it might be handy to place all the `.agda` files in a single repository such as `src`.

lib/base/base.agda-lib

@@ -2,7 +2,7 @@
 -- * mirrors the Haskell `base` package
 -- * is intertwined with `agda2hs`
 
-name: base
+name: agda2hs-base
 depend:
 include: .
 flags: -W noUnsupportedIndexedMatch --erasure --no-projection-like

lib/containers/containers.agda-lib

@@ -1,5 +1,5 @@
-name: containers
+name: agda2hs-containers
 include: agda
 depend:
-  base
+  agda2hs-base
 flags: --erasure --no-import-sorts --no-projection-like