Check off some TODOs

README.md

@@ -106,7 +106,7 @@ Plan
   - [x] 'Bicone' (specialised pushout for surjections)
   - [x] Bar
     - [x] Commutative algebra structure
-    - [ ] Functoriality
+    - [x] Functoriality
   - [ ] Cobar
     - [ ] Of 1-reduced
     - [ ] Of 0-reduced
@@ -128,7 +128,7 @@ Plan
   - [x] Spheres
     - [ ] Treat `S¹` separately (not 1-reduced)
   - [x] Moore Spaces
-  - [ ] Projective Spaces
+  - [x] Projective Spaces
   - [ ] Lens Spaces
 - Eilenberg-MacLane Spaces
   - [x] [`K(ℤ,1)`](#ref-kendoc)
@@ -159,7 +159,7 @@ Plan
 #### Effective Homology
 - Classifying Spaces
   - [x] Direct Reduction of `K(ℤ,1)` to `S¹`
-  - [ ] [Of 0-reduced Abelian sGrps](#ref-sergeraert%3Advf-slides)
+  - [x] [Of 0-reduced Abelian sGrps](#ref-sergeraert%3Advf-slides)
   - [ ] Of General sGrps
 - Products
   - [x] Eilenberg-Zilber reduction
@@ -193,7 +193,7 @@ Plan
 
 #### Misc TODOs
 - [ ] Fix space leaks, jeez
-- [ ] Pretty-printing for everything (unicode sub/superscripts in output?)
+- [x] Pretty-printing for everything (unicode sub/superscripts in output?)
 - [ ] Docs for everything
 - [ ] Move this list to Github issues
 - [ ] Consolidate some files? Eg. Sum, Shift into ChainComplex
@@ -210,7 +210,7 @@ Plan
       appear to be [LinBox](https://linalg.org/) or
       [FLINT](http://flintlib.org/). The former appears to support
       sparse matrices better
-- [ ] Check homology of `K(G,n)` calculations against known results
+- [x] Check homology of `K(G,n)` calculations against known results
       <!-- eg [Clement's thesis](#ref-clement%3Athesis) -->
 - [ ] Add methods to produce representatives of homology classes
 - [ ] Rewrite `Bar` to be a perturbed `TensorCoalgebra`?