diff options
author | Nao Pross <np@0hm.ch> | 2023-10-05 16:09:20 +0200 |
---|---|---|
committer | Nao Pross <np@0hm.ch> | 2023-10-05 16:54:13 +0200 |
commit | 68f57b366ef2aa6f9a7d01f23282dd6b6ed8b008 (patch) | |
tree | 80514c40ce2f7d5568b2a3d520b1a67b8c7545e1 /Homeworks.md | |
parent | Pass TestFiniteSetProperties (diff) | |
download | act4e-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.md | 17 |
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 |