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
 ```