Lecture 3: add to index

39b02d70 · Pierre-Évariste Dagand · 5b956388 · 39b02d70
Commit 39b02d70 authored Feb 09, 2018 by Pierre-Évariste Dagand
Show whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

README.md README.md +1 -1

No files found.
--- a/README.md
+++ b/README.md
@@ -160,7 +160,7 @@ The deadline is **Friday, February 16, 2018**.
 * [Guidelines](agda/Index.lagda.rst)
 * [Effectful functional programming](slides/pedagand-01.pdf) ([Source](agda/01-effectful/Monad.lagda.rst)).
 * [Dependent functional programming](slides/pedagand-02.pdf) ([Source](agda/02-dependent/Indexed.lagda.rst), [McCompiler.v](coq/McCompiler.v)).
-* Total functional programming.
+* [Total functional programming](slides/pedagand-03.pdf) ([Source](agda/03-total/Recursion.lagda.rst)).
 * Generic functional programming.
 * Open problems in dependent functional programming.