diff options
| author | hallgren <hallgren@chalmers.se> | 2014-04-29 16:01:57 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-04-29 16:01:57 +0000 |
| commit | 580b8cc78303f864e39472ba7a7f92c1bd0073f8 (patch) | |
| tree | d7d52a0777eee1e398457d74ea16c1576fbe6248 /src/example-based/ExampleDemo.hs | |
| parent | a7b1f9e1b3c042cf2442d8ed665998042acd106e (diff) | |
Wide Coverage Demo App: translate to all available target langauges at once
This means that the new translation is available instantly when switching
target languages. It can also reduce space leaks problems in the server
somewhat by avoiding repeated parsing of the source text.
Diffstat (limited to 'src/example-based/ExampleDemo.hs')
0 files changed, 0 insertions, 0 deletions