update line and file count

martinescardo · Dec 18, 2024 · 0096210 · 0096210
1 parent fbb60f6
commit 0096210
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/source/index.lagda b/source/index.lagda
@@ -55,8 +55,8 @@
 
      (https://www.cs.bham.ac.uk/~mhe/TypeTopology/AllModulesIndex.html)
 
-   * In our last count, on 2024.10.15, this development has 793 Agda
-     files with 228K lines of code, including comments and blank
+   * In our last count, on 2024.10.15, this development has 796 Agda
+     files with 229K lines of code, including comments and blank
      lines.
 
 Philosophy of the repository