need to fully qualify Data.List.All._::_
authorHelmut Grohne <helmut@subdivi.de>
Wed, 2 Oct 2013 08:59:57 +0000 (10:59 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Wed, 2 Oct 2013 08:59:57 +0000 (10:59 +0200)
commitfb77f5dcc718379437a162562efb16811d271f2a
tree0621874094b19acd5e316e34f43e46746e750051
parentffbdebbced2cbd32f7e121f19c1c0360be2053b8
need to fully qualify Data.List.All._::_

agda 2.3.0.1 supported the old notation, but 2.3.2.1 needs full
qualification.
Bidir.agda