Skip to content

Commit

Permalink
Fix incorrect numbering in FreeMonads doc (#1561)
Browse files Browse the repository at this point in the history
  • Loading branch information
cb372 authored and kailuowang committed Mar 16, 2017
1 parent 954b4e2 commit 94a2e3c
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions docs/src/main/tut/datatypes/freemonad.md
Original file line number Diff line number Diff line change
Expand Up @@ -88,7 +88,7 @@ case class Delete(key: String) extends KVStoreA[Unit]

### Free your ADT

There are six basic steps to "freeing" the ADT:
There are five basic steps to "freeing" the ADT:

1. Create a type based on `Free[_]` and `KVStoreA[_]`.
2. Create smart constructors for `KVStore[_]` using `liftF`.
Expand Down Expand Up @@ -265,7 +265,7 @@ never overflow your stack. Trampolining is heap-intensive but
stack-safety provides the reliability required to use `Free[_]` for
data-intensive tasks, as well as infinite processes such as streams.

#### 7. Use a pure compiler (optional)
#### 6. Use a pure compiler (optional)

The previous examples used an effectful natural transformation. This
works, but you might prefer folding your `Free` in a "purer" way. The
Expand Down

0 comments on commit 94a2e3c

Please sign in to comment.