From 5ca0ebb5d0197984b431d4c736ea8bd591be2b6b Mon Sep 17 00:00:00 2001 From: Eitan Chatav Date: Mon, 15 Jan 2024 02:54:35 -0800 Subject: [PATCH] Update README.md --- README.md | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 66ad9a5..1b95487 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,5 @@ # indexed-transformers -An [Atkey indexed monad] -(https://bentnib.org/paramnotions-jfp.pdf) -is a `Functor` [enriched category] -(https://ncatlab.org/nlab/show/enriched+category). +An [Atkey indexed monad](https://bentnib.org/paramnotions-jfp.pdf) +is a `Functor` [enriched category](https://ncatlab.org/nlab/show/enriched+category). An indexed monad transformer transforms a `Monad` into an indexed monad.