diff options
| author | aarne <aarne@chalmers.se> | 2011-01-11 15:46:43 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2011-01-11 15:46:43 +0000 |
| commit | e7439d65b0e153434d3acc07df6e2a0972ee79ca (patch) | |
| tree | 36716eec18256eeb600b4a552d9cc80f8ad7f16f /book/examples/chapter2/TicketEng.gf | |
| parent | 276327f7f264e770478a6d8c6e683266505b0a55 (diff) | |
gf-book web page index and toc
Diffstat (limited to 'book/examples/chapter2/TicketEng.gf')
| -rw-r--r-- | book/examples/chapter2/TicketEng.gf | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/book/examples/chapter2/TicketEng.gf b/book/examples/chapter2/TicketEng.gf deleted file mode 100644 index 54e44741d..000000000 --- a/book/examples/chapter2/TicketEng.gf +++ /dev/null @@ -1,19 +0,0 @@ -concrete TicketEng of Ticket = { - -lincat - Request, Station = Str ; -lin - Ticket X Y = - ((("I" ++ ("would like" | "want") ++ "to get" | - ("may" | "can") ++ "I get" | - "can you give me" | - []) ++ - "a ticket") | - []) ++ - "from" ++ X ++ "to" ++ Y ++ - ("please" | []) ; - - Hamburg = "Hamburg" ; - Paris = "Paris" ; - -} |