diff --git a/prototyping/Luau/Value.agda b/prototyping/Luau/Value.agda
deleted file mode 100644
index 2c35fa0a..00000000
--- a/prototyping/Luau/Value.agda
+++ /dev/null
@@ -1 +0,0 @@
-module Luau.Value where
diff --git a/prototyping/Luau/Value/ToString.agda b/prototyping/Luau/Value/ToString.agda
deleted file mode 100644
index e5a8d5a0..00000000
--- a/prototyping/Luau/Value/ToString.agda
+++ /dev/null
@@ -1 +0,0 @@
-module Luau.Value.ToString where