diff options
author | Helmut Grohne <helmut@subdivi.de> | 2012-01-21 12:22:34 +0100 |
---|---|---|
committer | Helmut Grohne <helmut@subdivi.de> | 2012-01-21 12:22:34 +0100 |
commit | a511dceb455975ded324c14c10f3cb6f85b95c3d (patch) | |
tree | 65f43cf86169346550e69635ab6d692b3f6a79ea /.gitignore | |
parent | 6e458b738fd75fccac1c605091bfcf7486001533 (diff) | |
download | bidiragda-a511dceb455975ded324c14c10f3cb6f85b95c3d.tar.gz |
rewrite generate using zip and fromAscList
This way matches the usage in lemma-1 more closely since zip actually is
something similar to assoc.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions