added enriched_cat.v

ptorrx · ptorrx · commit 80e17f226da5 · 2023-06-21T13:35:16.000+02:00
diff --git a/tests/enriched_cat.v b/tests/enriched_cat.v
@@ -0,0 +1,3 @@
+(* testing enriched categories *)
+
+

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+(* testing enriched categories *)`
	`2`	`+`
	`3`	`+`