diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2019-03-31 22:01:56 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2019-03-31 22:01:56 +0200 |
| commit | 4071a4a9d85c7187b3a6d324e787adbe282817c0 (patch) | |
| tree | 76d0530f9d2f7f784cb9b98603066e955b27fc30 /BFF.agda | |
| parent | e83a3b6cce71c20ffb83475c2660e9500d18798e (diff) | |
| download | bidiragda-4071a4a9d85c7187b3a6d324e787adbe282817c0.tar.gz | |
Generic.just-injective is Data.Maybe.just-injective
Diffstat (limited to 'BFF.agda')
0 files changed, 0 insertions, 0 deletions