port to agda/2.5.4.1 and agda-stdlib/0.17
authorHelmut Grohne <helmut@subdivi.de>
Sun, 25 Nov 2018 10:29:53 +0000 (11:29 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 25 Nov 2018 10:29:53 +0000 (11:29 +0100)
commit25d4df9182c92ef26979566f06c7c9f17746f0fb
tree9fb198f637098799730a4f2fd1f30afcfe8182e1
parent7fcd0fde85d545abbdae2265e173650c12d9b4c2
port to agda/2.5.4.1 and agda-stdlib/0.17
BFF.agda
BFFPlug.agda
Bidir.agda
FinMap.agda
Generic.agda
Instances.agda
Precond.agda
Structures.agda