diff options
| author | krasimir <krasimir@chalmers.se> | 2015-08-27 15:18:51 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-08-27 15:18:51 +0000 |
| commit | f2952768d578309a8f75c7da417e3602c4d5e9e9 (patch) | |
| tree | 81f6cf0fc7b6697b89002ae04d445593e54854f9 /src/example-based/ExampleDemo.hs | |
| parent | 128236eab9f24f7085e1378d3f78306d9cad0658 (diff) | |
query for triples and cleaner API
Diffstat (limited to 'src/example-based/ExampleDemo.hs')
0 files changed, 0 insertions, 0 deletions