CategoryTheory/agda-kleisli
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

sync

Browse source
This commit is contained in:
Leon Vatthauer 2024-02-16 14:37:24 +01:00
parent c521bf635a
commit 47477cd801
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8
2 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Kleisli.agda Normal file
View file

@ -0,0 +1,3 @@
-- Here we definition the notion of kleisli-triple and prove that it is equivalent to a monad
record Kleisli

3
Kleisli.agda-lib Normal file
View file

@ -0,0 +1,3 @@
name: kleisli
include: .
depend: agda-categories standard-library