diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-03 16:36:11 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2014-02-03 16:36:11 +0100 |
| commit | db1e29ec11c0cc0a874ef9df25b30abca960595d (patch) | |
| tree | 3abef25f15ac6067a34eeda7ff8ee823f90a6cbb /CheckInsert.agda | |
| parent | 39bae2aebe94d04b981e006e33fcf96c86acbf56 (diff) | |
| download | bidiragda-db1e29ec11c0cc0a874ef9df25b30abca960595d.tar.gz | |
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
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions