From 1581cae48eb71dba04f534565269ca4ee2085fa3 Mon Sep 17 00:00:00 2001 From: "Jeremy G. Siek" Date: Mon, 18 Nov 2024 13:47:38 -0500 Subject: [PATCH] ditch --- doc/FunctionalProgramming.md | 2 +- index.md | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) 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