diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,10 @@
+2020-05-07
+        * Version bump (3.2).
+        * Fixed the reverse order of triggers (#11).
+        * Update description, bug-reports, changelog fields in cabal file
+          (#8).
+        * Bump ghc-prim version bounds (#12).
+
 2019-11-22 Ivan Perez <ivan.perez@nianet.org>
         * Version bump (3.1).
         * Remove ExternFun (#6).
diff --git a/copilot-language.cabal b/copilot-language.cabal
--- a/copilot-language.cabal
+++ b/copilot-language.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-language
-version:             3.1
+version:             3.2
 synopsis:            A Haskell-embedded DSL for monitoring hard real-time
                      distributed systems.
 description:
@@ -8,18 +8,18 @@
   .
   Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
   Haskell that compiles into embedded C.  Copilot contains an interpreter,
-  multiple back-end compilers, and other verification tools.  A tutorial, bug
-  reports, and todos are available at
-  <https://github.com/Copilot-Language/copilot-discussion>.
+  multiple back-end compilers, and other verification tools.
   .
-  Examples are available at
-  <https://github.com/Copilot-Language/Copilot/tree/master/Examples>.
+  A tutorial, examples, and other information are available at
+  <https://copilot-language.github.io>.
 
 license:             BSD3
 license-file:        LICENSE
 author:              Frank Dedden, Lee Pike, Robin Morisset, Alwyn Goodloe,
                      Sebastian Niller, Nis Nordby Wegmann
 maintainer:          Frank Dedden <dev@dedden.net>
+homepage:            https://copilot-language.github.io
+bug-reports:         https://github.com/Copilot-Language/copilot-language/issues
 stability:           Experimental
 category:            Language, Embedded
 build-type:          Simple
@@ -38,10 +38,10 @@
                , containers      >= 0.4 && < 0.7
                , data-reify      >= 0.6 && < 0.7
                , mtl             >= 2.0 && < 3
-               , ghc-prim        >= 0.3 && < 0.6
+               , ghc-prim        >= 0.3 && < 0.7
 
-               , copilot-core    >= 3.1 && < 3.2
-               , copilot-theorem >= 3.1 && < 3.2
+               , copilot-core    >= 3.2 && < 3.3
+               , copilot-theorem >= 3.2 && < 3.3
 
   exposed-modules: Copilot
                  , Copilot.Language
diff --git a/src/Copilot/Language/Spec.hs b/src/Copilot/Language/Spec.hs
--- a/src/Copilot/Language/Spec.hs
+++ b/src/Copilot/Language/Spec.hs
@@ -30,7 +30,6 @@
 import Prelude hiding (not)
 
 import Control.Monad.Writer
-import Data.List (foldl')
 --import Data.Maybe (fromMaybe)
 
 --import Copilot.Core (Typed, Struct)
@@ -54,36 +53,36 @@
 
 observers :: [SpecItem] -> [Observer]
 observers =
-  foldl' lets' []
+  foldr lets' []
   where
-  lets' ls e =
+  lets' e ls =
     case e of
       ObserverItem l -> l : ls
       _              -> ls
 
 triggers :: [SpecItem] -> [Trigger]
 triggers =
-  foldl' triggers' []
+  foldr triggers' []
   where
-  triggers' ls e =
+  triggers' e ls =
     case e of
       TriggerItem t -> t : ls
       _             -> ls
 
 properties :: [SpecItem] -> [Property]
 properties =
-  foldl' properties' []
+  foldr properties' []
   where
-  properties' ls e =
+  properties' e ls =
     case e of
       PropertyItem p -> p : ls
       _              -> ls
 
 theorems :: [SpecItem] -> [(Property, UProof)]
 theorems =
-  foldl' theorems' []
+  foldr theorems' []
   where
-  theorems' ls e =
+  theorems' e ls =
     case e of
       TheoremItem p -> p : ls
       _              -> ls