diff --git a/README.md b/README.md
index 639ea87..1b90f35 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,4 @@
-# props
+# propa-tools
 
-Propa tools
+Various programming paradigm related bits and bobs. May not contain any actual
+executables.
diff --git a/package.yaml b/package.yaml
index b6c0015..a20f19a 100644
--- a/package.yaml
+++ b/package.yaml
@@ -1,4 +1,4 @@
-name: props
+name: propa-tools
 version: 0.1.0.0
 license: MIT
 author: Garmelon <joscha@plugh.de>
@@ -21,7 +21,7 @@ library:
   source-dirs: src
 
 executables:
-  props:
+  propa-tools-exe:
     main: Main.hs
     source-dirs: app
     ghc-options:
@@ -29,4 +29,4 @@ executables:
     - -rtsopts
     - -with-rtsopts=-N
     dependencies:
-    - props
+    - propa-tools
diff --git a/props.cabal b/propa-tools.cabal
similarity index 78%
rename from props.cabal
rename to propa-tools.cabal
index 581e772..5d6bc04 100644
--- a/props.cabal
+++ b/propa-tools.cabal
@@ -3,10 +3,8 @@ cabal-version: 1.18
 -- This file has been generated from package.yaml by hpack version 0.34.2.
 --
 -- see: https://github.com/sol/hpack
---
--- hash: 78cab4f7dbc3221eeb49550721e77438db654b072638fcbe9a383fd915dbf277
 
-name:           props
+name:           propa-tools
 version:        0.1.0.0
 author:         Garmelon <joscha@plugh.de>
 maintainer:     Garmelon <joscha@plugh.de>
@@ -22,11 +20,11 @@ extra-doc-files:
 
 library
   exposed-modules:
-      Props.Lambda.Display
-      Props.Lambda.Term
-      Props.Prolog
+      Propa.Lambda.Display
+      Propa.Lambda.Term
+      Propa.Prolog
   other-modules:
-      Paths_props
+      Paths_propa_tools
   hs-source-dirs:
       src
   build-depends:
@@ -36,17 +34,17 @@ library
     , transformers
   default-language: Haskell2010
 
-executable props
+executable propa-tools-exe
   main-is: Main.hs
   other-modules:
-      Paths_props
+      Paths_propa_tools
   hs-source-dirs:
       app
   ghc-options: -threaded -rtsopts -with-rtsopts=-N
   build-depends:
       base >=4.7 && <5
     , containers
-    , props
+    , propa-tools
     , text
     , transformers
   default-language: Haskell2010
diff --git a/src/Props/Lambda/Display.hs b/src/Propa/Lambda/Display.hs
similarity index 98%
rename from src/Props/Lambda/Display.hs
rename to src/Propa/Lambda/Display.hs
index 452d6d6..22cca89 100644
--- a/src/Props/Lambda/Display.hs
+++ b/src/Propa/Lambda/Display.hs
@@ -2,7 +2,7 @@
 
 -- | This module contains functions useful for displaying 'Term's.
 
-module Props.Lambda.Display
+module Propa.Lambda.Display
   ( Name
   , findConstNames
   , makeVarNamesUnique
@@ -18,7 +18,7 @@ import           Control.Monad.Trans.State
 import qualified Data.Set                  as Set
 import qualified Data.Text                 as T
 
-import           Props.Lambda.Term
+import           Propa.Lambda.Term
 
 -- | The name of a variable or a constant.
 type Name = T.Text
diff --git a/src/Props/Lambda/Term.hs b/src/Propa/Lambda/Term.hs
similarity index 98%
rename from src/Props/Lambda/Term.hs
rename to src/Propa/Lambda/Term.hs
index 4db56ee..0b801d1 100644
--- a/src/Props/Lambda/Term.hs
+++ b/src/Propa/Lambda/Term.hs
@@ -1,7 +1,7 @@
 -- | This module contains 'Term', the base type for lambda expressions. It also
 -- contains a few utility functions for operating on it.
 
-module Props.Lambda.Term
+module Propa.Lambda.Term
   ( Term(..)
   , vars
   , mapVars
diff --git a/src/Props/Prolog.hs b/src/Propa/Prolog.hs
similarity index 99%
rename from src/Props/Prolog.hs
rename to src/Propa/Prolog.hs
index 3ca4234..cca62a4 100644
--- a/src/Props/Prolog.hs
+++ b/src/Propa/Prolog.hs
@@ -1,4 +1,4 @@
-module Props.Prolog where
+module Propa.Prolog where
 
 import           Control.Monad
 import           Data.Foldable