From 50a9ea1b63f64ef91efe1930777748b17bc4582d Mon Sep 17 00:00:00 2001
From: "ajeffrey@roblox.com" <ajeffrey@roblox.com>
Date: Mon, 7 Feb 2022 17:09:58 -0600
Subject: [PATCH] Updated README

---
 prototyping/README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prototyping/README.md b/prototyping/README.md
index 05f3c2e4..0c170229 100644
--- a/prototyping/README.md
+++ b/prototyping/README.md
@@ -16,10 +16,10 @@ Install dependencies:
 
 Then compile
 ```
-  agda --compile Main.agda
+  agda --compile PrettyPrinter.agda
 ```
 
 and run!
 ```
-  luau-ast Examples/SmokeTest.lua | ./Main
+  luau-ast Examples/SmokeTest.lua | ./PrettyPrinter
 ```