diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2018-01-01 19:51:00 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2018-01-01 19:51:00 +0100 |
| commit | ab79a2e7b7c10306493cb6e61eb10f3b4e114cf3 (patch) | |
| tree | 923efedbb0b74075d8efb66ba4b5b33dd4ed3cc2 /Bidir.agda | |
| parent | ad721d4770c02769a9b7afab90160d1818afe1d6 (diff) | |
| download | bidiragda-ab79a2e7b7c10306493cb6e61eb10f3b4e114cf3.tar.gz | |
fix compilation with agda 2.5.3, agda-stdlib 0.14
Diffstat (limited to 'Bidir.agda')
0 files changed, 0 insertions, 0 deletions