rewrite main theorems to using Vec instead of List
authorHelmut Grohne <helmut@subdivi.de>
Tue, 4 Sep 2012 07:32:52 +0000 (09:32 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Tue, 4 Sep 2012 07:32:52 +0000 (09:32 +0200)
commit488f3b4870f63e851f9d3c4ea66bf06222010309
treebca9031f69884cba1193c6296ea90989ced615b8
parentbd2a63675bb859e42d9e1464ff9a7883884c1fd5
rewrite main theorems to using Vec instead of List
Bidir.agda