Fix command for compilation

mmhelloworld · mmhelloworld · commit 70f5424841d5 · 2021-12-30T00:36:58.000-05:00
diff --git a/README.md b/README.md
@@ -40,7 +40,7 @@ with first class types. This repository provides Idris 2 compiler targeting JVM
 
 #### Compile
 
-`idris helloworld.idr -o main`
+`idris2 helloworld.idr -o main`
 
 #### Run
 
