start work on Chapter 9

This commit is contained in:
Stephen Diehl 2015-12-11 11:49:06 -05:00
parent 9937f91af2
commit 671bdddb4e
2 changed files with 1 additions and 4 deletions

View File

@ -20,9 +20,6 @@ data Exp a b = Exp (a -> b) -- a^b
data Rec f = Rec (f (Rec f)) -- \mu
```
Catamorphisms
-------------
Syntax
------

View File

@ -18,7 +18,7 @@ SRC = 000_introduction.md \
006_hindley_milner.md \
007_path.md \
008_extended_parser.md \
#009_datatypes.md \
009_datatypes.md \
#010_renamer.md \
#011_pattern_matching.md \
#012_systemf.md