summaryrefslogtreecommitdiffstats
path: root/Homeworks.md
diff options
context:
space:
mode:
authorNao Pross <np@0hm.ch>2023-10-05 16:09:20 +0200
committerNao Pross <np@0hm.ch>2023-10-05 16:54:13 +0200
commit68f57b366ef2aa6f9a7d01f23282dd6b6ed8b008 (patch)
tree80514c40ce2f7d5568b2a3d520b1a67b8c7545e1 /Homeworks.md
parentPass TestFiniteSetProperties (diff)
downloadact4e-68f57b366ef2aa6f9a7d01f23282dd6b6ed8b008.tar.gz
act4e-68f57b366ef2aa6f9a7d01f23282dd6b6ed8b008.zip
Setup file to keep track of homeworks and create shorthand in makefile
Diffstat (limited to 'Homeworks.md')
-rw-r--r--Homeworks.md17
1 files changed, 17 insertions, 0 deletions
diff --git a/Homeworks.md b/Homeworks.md
new file mode 100644
index 0000000..3a20327
--- /dev/null
+++ b/Homeworks.md
@@ -0,0 +1,17 @@
+# Homeworks
+
+Setup commands
+```
+$ colima start
+$ make docker-check
+```
+
+## Week 1
+
+- [X] TestFiniteSetRepresentation
+- [X] TestFiniteSetProperties
+- [ ] TestFiniteMakeSetProduct
+- [ ] TestFiniteMapRepresentation
+- [ ] TestFiniteMapOperations
+- [ ] TestFiniteSetRepresentation
+- [ ] TestFiniteRelationProperties