From bf491f6238fe23e57942abb0cdc0e668785533ab Mon Sep 17 00:00:00 2001
From: Eric <ecrockett0@gmail.com>
Date: Sat, 13 Aug 2016 15:56:06 -0400
Subject: [PATCH] Updated github readme and cabal files with link to challenge
 description and smaller unicode \circ.

---
 README.md                        | 5 ++---
 apps/lol-apps.cabal              | 2 +-
 challenges/rlwe-challenges.cabal | 8 +++++++-
 lol/lol.cabal                    | 4 ++--
 4 files changed, 12 insertions(+), 7 deletions(-)

diff --git a/README.md b/README.md
index 4d2b87e3..d18ef865 100644
--- a/README.md
+++ b/README.md
@@ -15,9 +15,8 @@ This repository contains several Haskell libraries:
     just writing your own applications, you don't need to install this
     library.
 
-  * The folder `challenges` contains code to generate and verify the
-    (as yet unpublished) RLWE challenges. For now you can ignore this
-    folder.
+  * The folder `challenges` contains code to generate and verify
+    RLWE and RLWR challenges, which are described [here](https://web.eecs.umich.edu/~cpeikert/rlwe-challenges).
 
   * The folder `compiler` contains an unmaintained, primitive FHE
     compiler for Lol. Eventually, this will work in conjuction with
diff --git a/apps/lol-apps.cabal b/apps/lol-apps.cabal
index f37038dc..b6d716f0 100644
--- a/apps/lol-apps.cabal
+++ b/apps/lol-apps.cabal
@@ -31,7 +31,7 @@ extra-source-files:  README, CHANGES.md,
 cabal-version:       >= 1.10
 description:
     This library contains example cryptographic applications built using
-    <https://hackage.haskell.org/package/lol Λ ○ λ>  (Lol),
+    <https://hackage.haskell.org/package/lol Λ ∘ λ>  (Lol),
     a general-purpose library for ring-based lattice cryptography.
 
 source-repository head
diff --git a/challenges/rlwe-challenges.cabal b/challenges/rlwe-challenges.cabal
index 6f5cb96e..f4456918 100644
--- a/challenges/rlwe-challenges.cabal
+++ b/challenges/rlwe-challenges.cabal
@@ -19,7 +19,13 @@ stability:           experimental
 build-type:          Simple
 extra-source-files:  README, CHANGES.md
 cabal-version:       >= 1.10
-description:         TODO.
+description:
+    Contains a library for reading serialized challenges
+    (generated with <https://hackage.haskell.org/package/hprotoc hprotoc>)
+    and an executable used to generate, suppress, and verify RLWE and RLWR
+    challenges using <https://hackage.haskell.org/package/lol Λ ∘ λ>  (Lol).
+    You can find more information about the challenges
+    <https://web.eecs.umich.edu/~cpeikert/rlwe-challenges here>.
 
 source-repository head
   type: git
diff --git a/lol/lol.cabal b/lol/lol.cabal
index bccf557b..dbf6a33e 100644
--- a/lol/lol.cabal
+++ b/lol/lol.cabal
@@ -38,9 +38,9 @@ extra-source-files:  README, CHANGES.md,
                      Crypto/Lol/Cyclotomic/Tensor/CTensor/*.cpp
 cabal-version:       >= 1.10
 description:
-    Λ ○ λ (Lol) is a general-purpose library for ring-based lattice cryptography.
+    Λ ∘ λ (Lol) is a general-purpose library for ring-based lattice cryptography.
     For a detailed description of interfaces and functionality, see
-    <https://eprint.iacr.org/2015/1134 Λ ○ λ: A Functional Library for Lattice Cryptography>.
+    <https://eprint.iacr.org/2015/1134 Λ ∘ λ: A Functional Library for Lattice Cryptography>.
     For example cryptographic applications, see <https://hackage.haskell.org/package/lol-apps lol-apps>.
 source-repository head
   type: git