[REFACTOR]: Change progress section

lamdalib · Aug 5, 2024 · 99d6b39 · 99d6b39
1 parent 6689ceb
commit 99d6b39
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -137,7 +137,7 @@ def matrixMonoid(row: Int, col: Int): Monoid[Matrix[Int]] = new {
     - [ ] Documentation
     - [x] Laws
     - [x] Instances
-    - [ ] Tests
+    - [x] Tests
 
 - [ ] Apply
     - [x] Implementation
@@ -177,20 +177,20 @@ def matrixMonoid(row: Int, col: Int): Monoid[Matrix[Int]] = new {
 - [ ] Monad
     - [x] Implementation
     - [ ] Documentation
-    - [ ] Laws
+    - [x] Laws
     - [x] Instances
     - [ ] Tests
 
 - [ ] Monoid
     - [x] Implementation
     - [ ] Documentation
-    - [ ] Laws
+    - [x] Laws
     - [x] Instances
     - [ ] Tests
 
 - [ ] Semigroup
     - [x] Implementation
     - [ ] Documentation
-    - [ ] Laws
+    - [x] Laws
     - [x] Instances
     - [ ] Tests