Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
  • Loading branch information
echatav committed Jan 15, 2024
2 parents 6527a9d + 5ca0ebb commit 0f55e78
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
@@ -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.

0 comments on commit 0f55e78

Please sign in to comment.