23 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Leon Vatthauer	59b2631a13	Work on bisimilarity	2024-04-05 19:27:19 +02:00
Leon Vatthauer	43ad4706b0	Add second example exam	2024-04-02 16:09:35 +02:00
Leon Vatthauer	568cc110a9	spelling	2024-04-02 11:42:05 +02:00
Leon Vatthauer	2eabecda8f	minor	2024-04-02 11:40:26 +02:00
Leon Vatthauer	cce33d138a	Added example exam	2024-04-02 10:39:33 +02:00
Leon Vatthauer	78cd9676f4	Work on colimits	2024-03-31 12:54:31 +02:00
Leon Vatthauer	5bae77ae05	Work on initial algebra construction, rework limits	2024-03-30 18:11:52 +01:00
Leon Vatthauer	479336a7dd	Work on limits	2024-03-29 16:31:28 +01:00
Leon Vatthauer	16e70f6bb2	somewhat finish coalgebras	2024-03-28 19:46:30 +01:00
Leon Vatthauer	89d5719369	Work on coalgebras	2024-03-28 11:21:48 +01:00
Leon Vatthauer	1317daa802	Export macros to catprog.sty, work on F-algebras section	2024-03-27 10:35:17 +01:00
Leon Vatthauer	64cbc50601	Finish functor section	2024-03-26 08:10:00 +01:00
Leon Vatthauer	dfccca8326	functors	2024-03-25 12:02:25 +01:00
Leon Vatthauer	f537b830a7	Work on categorical prelims, added quiver.sty	2024-03-24 13:50:49 +01:00
Leon Vatthauer	75a42e4886	Introduction to categories, also some work on introduction	2024-03-22 18:00:53 +01:00
Leon Vatthauer	43cbe73359	Work on data types chapter	2024-03-22 13:39:29 +01:00
leonv	f09a92345c	Update .gitattributes	2024-03-20 15:52:43 +01:00
Leon Vatthauer	2cd29aa858	Added .gitattributes	2024-03-20 15:50:45 +01:00
Leon Vatthauer	45d193f649	Update gitignore and make agda code compilable	2024-03-20 15:45:59 +01:00
Leon Vatthauer	98c38160ff	Add agda code from previous repo	2024-03-20 15:43:45 +01:00
Leon Vatthauer	89923c10c2	Add outline	2024-03-20 15:41:33 +01:00
Leon Vatthauer	1cae1942f3	Create template	2024-03-20 15:13:19 +01:00
leonv	1615b0d254	Initial commit	2024-03-20 14:22:22 +01:00