make things compile with 2.3.0.1
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 3 Feb 2014 15:36:11 +0000 (16:36 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 3 Feb 2014 15:36:11 +0000 (16:36 +0100)
commitdb1e29ec11c0cc0a874ef9df25b30abca960595d
tree3abef25f15ac6067a34eeda7ff8ee823f90a6cbb
parent39bae2aebe94d04b981e006e33fcf96c86acbf56
make things compile with 2.3.0.1

 * Remove let patter , match = foo usage
 * Remove Qualified.infix-symbol usage
 * Add non-obvious absurd patterns
 * Qualify constructors
Bidir.agda
FinMap.agda
Generic.agda
Precond.agda