From edd2226ebe70209907ff8869c6a3b39502610174 Mon Sep 17 00:00:00 2001 From: Owen Shepherd Date: Thu, 25 Dec 2025 22:42:35 +0000 Subject: [PATCH] Correct typo in MonadTransformers section The past participle of 'build' is 'built'. --- book/FPLean/MonadTransformers.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/FPLean/MonadTransformers.lean b/book/FPLean/MonadTransformers.lean index fec4abf..2bf36d4 100644 --- a/book/FPLean/MonadTransformers.lean +++ b/book/FPLean/MonadTransformers.lean @@ -34,7 +34,7 @@ For example: Writing each monad by hand is tedious, however, involving boilerplate definitions of the various type classes. Each of these components can also be extracted to a definition that modifies some other monad to add an additional effect. Such a definition is called a _monad transformer_. -A concrete monad can be build from a collection of monad transformers, which enables much more code re-use. +A concrete monad can be built from a collection of monad transformers, which enables much more code re-use. {include 1 FPLean.MonadTransformers.ReaderIO}