From aaa48e424008ca6a69d6abdfae88a271a3d1ec36 Mon Sep 17 00:00:00 2001 From: Leon Vatthauer Date: Mon, 20 Nov 2023 11:41:57 +0100 Subject: [PATCH] update index --- src/index.lagda.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/index.lagda.md b/src/index.lagda.md index aa53dbd..c39b722 100644 --- a/src/index.lagda.md +++ b/src/index.lagda.md @@ -80,9 +80,10 @@ open import Monad.Instance.K.Commutative open import Monad.Instance.K.EquationalLifting ``` -and lastly we formalize the notion of *pre-Elgot monad* and show that **K** is the initial pre-Elgot monad. +and lastly we formalize the notion of *pre-Elgot monad* and show that **K** is the initial (strong) pre-Elgot monad. ```agda open import Monad.PreElgot open import Monad.Instance.K.PreElgot +open import Monad.Instance.K.StrongPreElgot ``` \ No newline at end of file