ethz/act4e - Applied Category Theory for Engineering 1 Maker Track @ ETHZ

	Commit message (Collapse)	Author	Age	Files	Lines
*	Pass TestFiniteMonotoneMapProperties	Nao Pross	2023-11-05	1	-2/+2
\|
*	Fix MyFinitePoset	Nao Pross	2023-11-04	1	-7/+7
\| \| \| \| \| \| \| \|	Partially pass: TestFinitePosetRepresentation TestFinitePosetRepresentation TestFinitePosetConstructionProduct
*	Pass TestFinitePosetConstructionPower	Nao Pross	2023-10-29	1	-2/+2
\| \| \| \|	also fix name in sets_power
*	Pass TestFiniteMakePowerSet	Nao Pross	2023-10-29	1	-2/+2
\|
*	Pass TestFiniteSemigroupMorphismsChecks	Nao Pross	2023-10-22	1	-8/+8
\|
*	Update Homeworks.md	Nao Pross	2023-10-17	1	-5/+45
\|
*	Sketch TestFiniteMapRepresentation	Nao Pross	2023-10-10	1	-1/+1
\|
*	Implement loading of set products in SolFiniteSetRepresentation	Nao Pross	2023-10-10	1	-1/+1
\|
*	Pass TestFiniteMakeSetProduct	Nao Pross	2023-10-10	1	-1/+1
\|
*	Setup file to keep track of homeworks and create shorthand in makefile	Nao Pross	2023-10-05	1	-0/+17