diff --git a/doc/FunctionalProgramming.md b/doc/FunctionalProgramming.md
index 11cc5f7..b57609d 100644
--- a/doc/FunctionalProgramming.md
+++ b/doc/FunctionalProgramming.md
@@ -1,4 +1,4 @@
-# Functional Programming in Deduce
+# Programming in Deduce
 
 Deduce supports the following language features:
 * [Import](#import)
diff --git a/index.md b/index.md
index 52074e6..27cc983 100644
--- a/index.md
+++ b/index.md
@@ -93,10 +93,10 @@ The source code for Deduce can be obtained from the following github repository.
 [https://github.com/jsiek/deduce](https://github.com/jsiek/deduce)
 
 This introduction to Deduce has two parts. The first part gives a
-tutorial on how to write functional programs in Deduce.  The second
+tutorial on how to write programs in Deduce.  The second
 part shows how to write proofs in Deduce.
 
-* [Functional Programming in Deduce](./doc/FunctionalProgramming.md)
+* [Programming in Deduce](./doc/FunctionalProgramming.md)
 * [Writing Proofs in Deduce](./doc/ProofIntro.md)
 
 I recommend that you work through the examples in this