diff --git a/doc/GettingStarted.md b/doc/GettingStarted.md index 1c74d6e..7834906 100644 --- a/doc/GettingStarted.md +++ b/doc/GettingStarted.md @@ -55,11 +55,13 @@ defines a variable `world`, and prints it out. To run it, type the following command, or use the run functionality provided by your deduce editor. + ``` python deduce.py hello.pf ``` You should see the output + ``` hello hello.pf is valid diff --git a/gh-pages/pages/getting-started.html b/gh-pages/pages/getting-started.html index e4a1657..efb4c72 100644 --- a/gh-pages/pages/getting-started.html +++ b/gh-pages/pages/getting-started.html @@ -113,15 +113,11 @@
This program defines a new union type called Greeting
,
defines a variable world
, and prints it out.
To run it, type the following command, or use the run functionality -provided by your deduce editor. -!!! -python deduce.py hello.pf -!!!
-You should see the output -!!! -hello -hello.pf is valid -!!!
+provided by your deduce editor. +python deduce.py hello.pf
You should see the output
+hello
+hello.pf is valid
The deduce.py
script supports certain command line arguments which
are documented below. If an argument is not preceded by one of the