leonv/bsc-leon-vatthauer
1
0
Fork 0
mirror of https://git8.cs.fau.de/theses/bsc-leon-vatthauer.git synced 2024-05-31 07:28:34 +02:00
Code Issues Projects Releases Packages Wiki Activity

update index

Browse source
This commit is contained in:
Leon Vatthauer 2023-11-20 11:41:57 +01:00
parent b74ecf373c
commit aaa48e4240
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/index.lagda.md
View file

@ -80,9 +80,10 @@ open import Monad.Instance.K.Commutative
open import Monad.Instance.K.EquationalLifting 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 ```agda
open import Monad.PreElgot open import Monad.PreElgot
open import Monad.Instance.K.PreElgot open import Monad.Instance.K.PreElgot
open import Monad.Instance.K.StrongPreElgot
``` ```