lol

the1lab · Dec 21, 2024 · d561352 · d561352
1 parent 588e9ea
commit d561352
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/Prim/Type.lagda.md b/src/Prim/Type.lagda.md
@@ -1,5 +1,4 @@
 ```agda
-
 module Prim.Type where
 ```