Change default main

Author: bowbahdoe

ui/frontend/Help.tsx

@@ -23,12 +23,10 @@ const LEO_GITHUB_URL = 'https://github.com/LeonardoA77';
 
 const CRATE_EXAMPLE = `import io.vavr.collection.Vector;
 
-class Main {
-    public static void main(String[] args) {
-        System.out.println(Vector.of(
-          "a", "b", "c"
-        ));
-    }
+void main() {
+    IO.println(Vector.of(
+      "a", "b", "c"
+    ))
 }
 `;
 

ui/frontend/reducers/code.ts

@@ -2,10 +2,8 @@ import { Action, ActionType } from '../actions';
 import { performGistLoad } from './output/gist'
 import { performFormat } from './output/format'
 
-const DEFAULT: State = `public class Main {
-    public static void main(String[] args) {
-        System.out.println("Hello, world!");
-    }
+const DEFAULT: State = `void main() {
+  IO.println("Hello, world!");
 }`;
 
 export type State = string;