Update SIMPLICITY.md

groupoid · Feb 22, 2025 · c625c60 · c625c60
1 parent 40ef578
commit c625c60
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/intro/SIMPLICITY.md b/intro/SIMPLICITY.md
@@ -1,7 +1,7 @@
 # Simplicial HoTT
 
 Groupoid Infinity Simplicial HoTT pure algebraїc implementation with explicit syntaxt for fastest type checking.
-It supports following extensions: Chain, Simplex, Simplicial, Category, Monoid, Group. Simplicial HoTT is a Rezk and GAP at the same time incorporated into CCHM/CHM/HTS Agda-like core.
+It supports following extensions: Chain, Simplex, Simplicial, Category, Monoid, Group. Simplicial HoTT is a Rezk and GAP at the same time incorporated into CCHM/CHM/HTS Agda-like Anders core.
 
 ## Abstract