diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2020-08-01 09:12:17 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2020-08-01 09:12:17 +0200 |
| commit | 1286deef698a9fbf92b86d0078fd62c47f980ee9 (patch) | |
| tree | cf70314c5e62c774c225db342ec0c4bae3fd493d /Makefile | |
| parent | 85865ec3c7c3e3a458dc233d4c28e4db97191f3d (diff) | |
| download | bidiragda-1286deef698a9fbf92b86d0078fd62c47f980ee9.tar.gz | |
move imports for agda-stdlib 1.3
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions