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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Something weird is going on hereimpl_fail	Nao Pross	2023-10-17	2	-10/+40
\|
*	Sketch TestFiniteMapRepresentation	Nao Pross	2023-10-10	3	-8/+69
\|
*	Implement loading of set products in SolFiniteSetRepresentation	Nao Pross	2023-10-10	1	-7/+27
\|
*	Pass TestFiniteMakeSetProduct	Nao Pross	2023-10-10	1	-4/+74
\|
*	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
\|
*	Initial commit	github-classroom[bot]	2023-10-04	26	-0/+428