From 68f57b366ef2aa6f9a7d01f23282dd6b6ed8b008 Mon Sep 17 00:00:00 2001
From: Nao Pross <np@0hm.ch>
Date: Thu, 5 Oct 2023 16:09:20 +0200
Subject: Setup file to keep track of homeworks and create shorthand in
 makefile

---
 Homeworks.md | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 Homeworks.md

(limited to 'Homeworks.md')

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
-- 
cgit v1.2.1