update file and line count

martinescardo · Sep 7, 2023 · f03260b · f03260b
1 parent c3eb8ca
commit f03260b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/source/index.lagda b/source/index.lagda
@@ -54,8 +54,8 @@
 
      (https://www.cs.bham.ac.uk/~mhe/TypeTopology/AllModulesIndex.html)
 
-   * In our last count, on 23rd July 2023, this development has 578
-     files and 165k lines of code, including comments and blank
+   * In our last count, on 7th September 2023, this development has
+     604 files and 171k lines of code, including comments and blank
      lines. But we don't update the count frequently.
 
 Philosophy of the repository