fix compilation against agda stdlib 0.9
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 26 Nov 2014 14:32:21 +0000 (15:32 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 26 Nov 2014 14:32:21 +0000 (15:32 +0100)
commit69f47cad0ac14a7549e1e94b9f9a40f9935ad99e
tree33f404a8c720b979f58943ea96cf1498149b3f0b
parenta736eed95090ec104edbfbc9ea08bc265c618678
fix compilation against agda stdlib 0.9
CheckInsert.agda
FinMap.agda
Precond.agda