diff options
| author | aarne <aarne@chalmers.se> | 2014-04-10 13:07:05 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2014-04-10 13:07:05 +0000 |
| commit | d7ef5d8c0b6c04ef1113fde3ea8002818e6036ac (patch) | |
| tree | e947797fb80ed39c83bad6d8112272d07dfab7ed /src/example-based/ExampleDemo.hs | |
| parent | d9f4c1598c79260275b8fb3d2e9fff70be1c388b (diff) | |
improved generation of BNC dictionaries ; now called TopDictionary for clarity
Diffstat (limited to 'src/example-based/ExampleDemo.hs')
0 files changed, 0 insertions, 0 deletions