allow importing of Bidir without any postulates
[~helmut/bidiragda.git] / GetTypes.agda
2014-01-30 Helmut Grohneallow importing of Bidir without any postulates