From bdccee36ee953c33fbe155ea2284c589bfe6dfda Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Fri, 25 Feb 2022 14:48:34 -0600 Subject: [PATCH] WIP --- prototyping/Luau/Value.agda | 1 - prototyping/Luau/Value/ToString.agda | 1 - 2 files changed, 2 deletions(-) delete mode 100644 prototyping/Luau/Value.agda delete mode 100644 prototyping/Luau/Value/ToString.agda 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