diff options
Diffstat (limited to 'examples/tram/Tram.gf')
| -rw-r--r-- | examples/tram/Tram.gf | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/tram/Tram.gf b/examples/tram/Tram.gf index 1e437d5ed..5392d1c73 100644 --- a/examples/tram/Tram.gf +++ b/examples/tram/Tram.gf @@ -12,9 +12,9 @@ fun fun GoFromTo : Dep -> Dest -> Input ; -- user input "want to go from a to b" - GoToFrom : Dest -> Dep -> Input ; -- user input "want to go to a from b" - ComeFrom : Dep -> Input ; -- user input "want to come from x (to where I am now) - GoTo : Dest -> Input ; -- user input "want to go to x (from where I am now) + ComeToFrom: Dest -> Dep -> Input ; -- user input "want to come to a from b" + ComeFrom : Dep -> Input ; -- user input "want to come from x (to where I'm now) + GoTo : Dest -> Input ; -- user input "want to go to x (from where I'm now) DepClick : Click -> Dep ; -- "from here" with click DestClick : Click -> Dest ; -- "to here" with click |