move generic functions to a new Generic module
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 16 Dec 2013 16:34:59 +0000 (17:34 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 16 Dec 2013 16:34:59 +0000 (17:34 +0100)
commit2f999bfd6553cb31ebffe4c32d0a2a52dedaf4d3
treec204596acfa8626c47c291f86f57ec8f51a50bd2
parentce9855e6c2e8b88499ebd9660e0cd225146c1b6b
move generic functions to a new Generic module
Bidir.agda
FinMap.agda
Generic.agda [new file with mode: 0644]
LiftGet.agda