fix compilation with agda 2.5.1, agda-stdlib 0.12
authorHelmut Grohne <helmut@subdivi.de>
Tue, 21 Jun 2016 15:50:07 +0000 (17:50 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Tue, 21 Jun 2016 15:50:07 +0000 (17:50 +0200)
commitad721d4770c02769a9b7afab90160d1818afe1d6
tree3f98227bae42edc4158cb8cd16caddce8e83a518
parenta5abbd177f032523d1d9d3fa4b9137aefe88dee0
fix compilation with agda 2.5.1, agda-stdlib 0.12
Bidir.agda