diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-10-22 10:42:21 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-10-22 10:42:21 +0200 |
| commit | b01b94ab91ece430e72ac315689e78dc6dc49ebf (patch) | |
| tree | eea276a8527ae637fcc104655fb7e033e0c99834 /Precond.agda | |
| parent | 7ba21759412a8b356f7790ac5f5e413302331183 (diff) | |
| download | bidiragda-b01b94ab91ece430e72ac315689e78dc6dc49ebf.tar.gz | |
parameterize Bidir via Carrier and deq
This avoids passing around the decidable equality explicitly.
Diffstat (limited to 'Precond.agda')
0 files changed, 0 insertions, 0 deletions