rewrite generate using zip and fromAscList
authorHelmut Grohne <helmut@subdivi.de>
Sat, 21 Jan 2012 11:22:34 +0000 (12:22 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sat, 21 Jan 2012 11:22:34 +0000 (12:22 +0100)
commita511dceb455975ded324c14c10f3cb6f85b95c3d
tree65f43cf86169346550e69635ab6d692b3f6a79ea
parent6e458b738fd75fccac1c605091bfcf7486001533
rewrite generate using zip and fromAscList

This way matches the usage in lemma-1 more closely since zip actually is
something similar to assoc.
Bidir.agda