move generic functions to a new Generic module
[~helmut/bidiragda.git] / Generic.agda
2013-12-16 Helmut Grohnemove generic functions to a new Generic module