diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2013-04-14 17:50:16 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2013-04-14 17:50:16 +0200 |
| commit | 45d54c7cec9e384399d283d38a1f96a890ec952f (patch) | |
| tree | 90016faa15ca062dd7a40ee47cfa18a92b57a582 /FinMap.agda | |
| parent | d350161d1446b20d621e2fe76c47dd2d730e3dcb (diff) | |
| download | bidiragda-45d54c7cec9e384399d283d38a1f96a890ec952f.tar.gz | |
simpler formulation of All-different
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions