5 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Leon Vatthauer	d641f65615	minor	2024-02-16 14:33:29 +01:00
Leon	ac85887301	Proof that in tosets every monad is strong (given a terminal object)	2023-07-17 13:23:14 +02:00
Leon Vatthauer	fab399fb17	Merge branch 'main' of github.com:Reijix/agda-poset	2023-07-15 16:08:36 +02:00
Leon Vatthauer	ac004c0623	Initial commit	2023-07-15 16:08:13 +02:00
Leon Vatthauer	e1edc5ca1e	Initial commit	2023-07-15 16:07:28 +02:00