Remove test file

anoma · Nov 29, 2023 · fbcdfd4 · fbcdfd4
1 parent f86cd86
commit fbcdfd4
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/tests/negative/Internal/Positivity/Test.agda b/tests/negative/Internal/Positivity/Test.agda