Add change log + update version number to 1.1

CHANGELOG.md

@@ -0,0 +1,12 @@
+Release notes for agda2hs v1.2
+==============================
+
+Changes
+-------
+
+See https://github.com/agda/agda2hs/issues?q=milestone%3A1.2+is%3Apr for the full list of changes.
+
+Fixed issues
+------------
+
+See https://github.com/agda/agda2hs/issues?q=milestone%3A1.2+is%3Aissue for the full list of fixed issues.

agda2hs.cabal

@@ -1,6 +1,6 @@
 cabal-version:       2.2
 name:                agda2hs
-version:             1.0
+version:             1.1
 license:             BSD-3-Clause
 license-file:        LICENSE
 author:              Ulf Norell, Jesper Cockx, Orestis Melkonian, Sára Juhošová, James Chapman, Lucas Escot, Henry Blanchette
@@ -17,6 +17,8 @@ description:
 
 data-dir:           src/data
 data-files:         emacs-mode/*.el
+extra-doc-files:    CHANGELOG.md
+                    README.md
 
 source-repository head
   type:     git

release-notes/1.0.md

@@ -0,0 +1,4 @@
+Release notes for agda2hs 1.0
+=============================
+
+Initial release.

release-notes/1.1.md

@@ -0,0 +1,17 @@
+Release notes for agda2hs v1.1
+==============================
+
+Changes
+-------
+
+- Updated Agda base version to 2.6.4.
+- The `agda2hs` executable can now also be used in interactive mode (e.g. in Emacs or VS Code).
+- Added option to specify user-defined rewrites (see https://agda.github.io/agda2hs/features.html#rewrite-rules).
+- Type operators with names not starting with a colon are now allowed.
+- Added bindings for the `IO` monad.
+- Various other additions to the `Haskell.Prelude` library.
+
+Fixed issues
+------------
+
+See https://github.com/agda/agda2hs/issues?q=milestone%3A1.1+is%3Aissue for the full list of fixed issues.