Updated github readme and cabal files with link to challenge descript…

…ion and smaller unicode \circ.

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

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

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

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