diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2018-11-25 08:54:51 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2018-11-25 08:54:51 +0100 |
| commit | 04e312472d4737815cf6c37258b547673faa0b91 (patch) | |
| tree | 101eb3d51b6cbd8a9a5309364e4b978798ea90be /CheckInsert.agda | |
| parent | c98062b949a6fc792b042e04453b0bed27941caa (diff) | |
| download | bidiragda-04e312472d4737815cf6c37258b547673faa0b91.tar.gz | |
fix missing import of "length"
Broken in parent commit.
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions