first attempt to define bff (with holes)
[~helmut/bidiragda.git] / Bidir.agda
2012-01-19 Helmut Grohnefirst attempt to define bff (with holes)
2012-01-19 Helmut Grohneemploy standard library of agda where possible
2012-01-19 Helmut Grohnefirst attempt to model lemma-1