move imports for agda-stdlib 1.3 master
authorHelmut Grohne <helmut@subdivi.de>
Sat, 1 Aug 2020 07:12:17 +0000 (09:12 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Sat, 1 Aug 2020 07:12:17 +0000 (09:12 +0200)
commit1286deef698a9fbf92b86d0078fd62c47f980ee9
treecf70314c5e62c774c225db342ec0c4bae3fd493d
parent85865ec3c7c3e3a458dc233d4c28e4db97191f3d
move imports for agda-stdlib 1.3
Bidir.agda
CheckInsert.agda
FinMap.agda
Generic.agda
Instances.agda
Precond.agda