diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-01-19 11:47:16 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-01-19 11:47:16 +0100 |
| commit | e26c81033bb12fe6a07f6fa572e27ea9ee19e26e (patch) | |
| tree | b7b881d8f5cce82e63b06915ea773d476cdd9bf2 /CheckInsert.agda | |
| parent | 537a03c250380225285be4cba1d05cacfd71ab44 (diff) | |
| download | bidiragda-e26c81033bb12fe6a07f6fa572e27ea9ee19e26e.tar.gz | |
employ standard library of agda where possible
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions