give the type of different gets a name
authorHelmut Grohne <helmut@subdivi.de>
Thu, 30 Aug 2012 12:18:54 +0000 (14:18 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 30 Aug 2012 12:18:54 +0000 (14:18 +0200)
commit7391996c5907714d75adba63c8a8063da77a655b
tree426ac420057c218329f25bec6a6a3e73e90ab7ba
parent91b9c0fdca791d35ab7bde25b7d867d00bbd9975
give the type of different gets a name
LiftGet.agda