fix compilation with agda 2.5.3, agda-stdlib 0.14
authorHelmut Grohne <helmut@subdivi.de>
Mon, 1 Jan 2018 18:51:00 +0000 (19:51 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 1 Jan 2018 18:51:00 +0000 (19:51 +0100)
commitab79a2e7b7c10306493cb6e61eb10f3b4e114cf3
tree923efedbb0b74075d8efb66ba4b5b33dd4ed3cc2
parentad721d4770c02769a9b7afab90160d1818afe1d6
fix compilation with agda 2.5.3, agda-stdlib 0.14
Examples.agda
FinMap.agda
Precond.agda