move all those toList calls inside _in-domain-of_
[~helmut/bidiragda.git] / Structures.agda
2014-04-03 Helmut GrohneMerge branch feature-shaped into master
2014-03-10 Helmut Grohneimplement a bff on a shaped source type
2014-03-07 Helmut Grohneadd a Functor structure