parameterize Bidir via Carrier and deq
authorHelmut Grohne <helmut@subdivi.de>
Mon, 22 Oct 2012 08:42:21 +0000 (10:42 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 22 Oct 2012 08:42:21 +0000 (10:42 +0200)
commitb01b94ab91ece430e72ac315689e78dc6dc49ebf
treeeea276a8527ae637fcc104655fb7e033e0c99834
parent7ba21759412a8b356f7790ac5f5e413302331183
parameterize Bidir via Carrier and deq

This avoids passing around the decidable equality explicitly.
Bidir.agda