move definition of get-type to BFF and use it everywhere
authorHelmut Grohne <helmut@subdivi.de>
Thu, 27 Sep 2012 11:11:53 +0000 (13:11 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 27 Sep 2012 11:11:53 +0000 (13:11 +0200)
commit1428e4192d61533864a8f163c86272eef4b891cf
tree927de90d713458a7b26693284753627a093d624f
parent8546a8812a4fdaf3e3d7a7ba3433894db8b25a14
move definition of get-type to BFF and use it everywhere
BFF.agda
Bidir.agda
LiftGet.agda
Precond.agda