From e86b9772c82042b9c1d5cf6e89e33f60a3ed13ac Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Mon, 7 Feb 2022 17:20:56 -0600 Subject: [PATCH] Renaming Main to PrettyPrinter --- prototyping/PrettyPrinter.agda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prototyping/PrettyPrinter.agda b/prototyping/PrettyPrinter.agda index c0917163..dfb2c053 100644 --- a/prototyping/PrettyPrinter.agda +++ b/prototyping/PrettyPrinter.agda @@ -1,4 +1,4 @@ -module Main where +module PrettyPrinter where open import Agda.Builtin.IO using (IO) open import Agda.Builtin.Int using (pos)