Diff
Not logged in

Differences From Artifact [b45d599d08f18ee0]:

To Artifact [6629940451babbd3]:


46 46 47 > polemy foo.pmy 47 > polemy foo.pmy 48 executes foo.pmy 48 executes foo.pmy 49 49 50 > polemy -l foo.pmy 50 > polemy -l foo.pmy 51 after executing foo.pmy, starts REPL 51 after executing foo.pmy, starts REPL 52 52 > 53 > polemy -l foo.pmy -l bar.pmy buz.pmy > 54 executes foo.pmy, bar.bmy, and then buz.pmy > 55 53 56 54 57 55 <<Syntax>> 58 <<Syntax>> 56 59 57 Comment is "# ... \n" 60 Comment is "# ... \n" 58 61 59 E ::= 62 E ::=