7 commits

Author	SHA1	Message	Date
CDaut	a765a7fc38	more examples	2022-10-01 00:13:53 +02:00
CDaut	66a2fc6de2	Hom Functor and more examples	2022-09-28 13:30:33 +02:00
CDaut	f5ee193e30	example on functors	2022-09-27 20:13:43 +02:00
CDaut	8d9228ea70	something on functors	2022-09-27 19:15:02 +02:00
CDaut	c9bc503321	one more example	2022-09-27 14:06:35 +02:00
CDaut	aa57144040	basics	2022-09-27 03:17:44 +02:00
CDaut	e5b97f956e	Motivation & basic toolchain setup	2022-09-27 01:43:18 +02:00