diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-01-17 09:24:47 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-01-17 09:24:47 +0100 |
| commit | 808b8da4b14b087c0dcace71fff3854a17cebe42 (patch) | |
| tree | 213872ff0a7165dee7a9510f75d78d7b76ccc015 /Generic.agda | |
| parent | 5bf7ce31ca6928b13d6631591371e98933cb0b2d (diff) | |
| download | bidiragda-808b8da4b14b087c0dcace71fff3854a17cebe42.tar.gz | |
generalize checkInsert to arbitrary Setoids
This is another step towards permitting arbitrary Setoids in bff.
Diffstat (limited to 'Generic.agda')
0 files changed, 0 insertions, 0 deletions