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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix MyFiniteSetDisjointUnion	Nao Pross	2023-11-05	1	-3/+3
\|
*	Fix MyFiniteSetDisjointUnion and pass more tests	Nao Pross	2023-11-05	3	-15/+45
\| \| \| \| \|	TestFinitePosetRepresentation TestFinitePosetConstructionSum
*	Pass TestFiniteMakeSetDisjointUnion	Nao Pross	2023-11-05	1	-2/+42
\|
*	Pass TestFinitePosetConstructionProduct	Nao Pross	2023-11-05	2	-2/+6
\|
*	Pass TestFiniteMonotoneMapProperties	Nao Pross	2023-11-05	3	-5/+22
\|
*	Fix (new) bug in MyFiniteSetProduct to pass TestFiniteMapRepresentation	Nao Pross	2023-11-05	1	-18/+2
\| \| \| \|	Bug was caused by YAML bugfix
*	Fix MyFinitePoset	Nao Pross	2023-11-04	4	-17/+158
\| \| \| \| \| \| \| \|	Partially pass: TestFinitePosetRepresentation TestFinitePosetRepresentation TestFinitePosetConstructionProduct
*	Pass TestFinitePosetConstructionPower	Nao Pross	2023-10-29	4	-8/+82
\| \| \| \|	also fix name in sets_power
*	Pass TestFiniteMakePowerSet	Nao Pross	2023-10-29	3	-5/+65
\|
*	Pass TestFiniteSemigroupMorphismsChecks	Nao Pross	2023-10-22	3	-14/+150
\|
*	Pass Semigroups and Groups representations	Nao Pross	2023-10-20	1	-6/+108
\| \| \| \|	TestFiniteSemigroupRepresentation TestFiniteSemigroupConstruct TestFiniteMonoidRepresentation TestFiniteGroupRepresentation
*	Update Homeworks.md	Nao Pross	2023-10-17	1	-5/+45
\|
*	Pass TestFiniteRelationOperations	Nao Pross	2023-10-17	1	-2/+12
\|
*	Fix bug to pass TestFiniteMapRepresentation	Nao Pross	2023-10-17	1	-16/+20
\|
*	Pass TestFiniteRelationRepresentation, TestFiniteRelationCompose, ↵	Nao Pross	2023-10-17	2	-8/+102
\| \| \| \|	TestFiniteRelationProperties
*	Pass TestFiniteMapRepresentation and TestFiniteMapOperations	Nao Pross	2023-10-17	2	-16/+48
\|
*	Sketch TestFiniteMapRepresentation	Nao Pross	2023-10-10	4	-9/+70
\|
*	Implement loading of set products in SolFiniteSetRepresentation	Nao Pross	2023-10-10	2	-8/+28
\|
*	Pass TestFiniteMakeSetProduct	Nao Pross	2023-10-10	2	-5/+75
\|
*	Setup file to keep track of homeworks and create shorthand in makefile	Nao Pross	2023-10-05	2	-1/+23
\|
*	Pass TestFiniteSetProperties	Nao Pross	2023-10-04	1	-1/+7
\|
*	Pass TestFiniteSetRepresentation	Nao Pross	2023-10-04	1	-3/+36
\|
*	Pass TestSimpleIntro	Nao Pross	2023-10-04	1	-1/+1
\|
*	Change Makefile to not use fat VS Code docker image	Nao Pross	2023-10-04	1	-1/+2
\|
*	add online IDE url	github-classroom[bot]	2023-10-04	1	-0/+1
\|
*	Setting up GitHub Classroom Feedback	github-classroom[bot]	2023-10-04	0	-0/+0
\|
*	GitHub Classroom Feedback	github-classroom[bot]	2023-10-04	1	-0/+0
\|
*	GitHub Classroom Autograding Workflow	github-classroom[bot]	2023-10-04	1	-0/+19
\|
*	GitHub Classroom Autograding	github-classroom[bot]	2023-10-04	1	-0/+14
\|
*	Initial commit	github-classroom[bot]	2023-10-04	39	-0/+689