diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2019-03-31 22:36:21 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2019-03-31 22:36:21 +0200 |
| commit | 8435606d98e418394edbe5104b3f425e56a5a207 (patch) | |
| tree | 49f2d9f5a9066d81f1f5ad59b7e2839510828c2e /FinMap.agda | |
| parent | 4071a4a9d85c7187b3a6d324e787adbe282817c0 (diff) | |
| download | bidiragda-8435606d98e418394edbe5104b3f425e56a5a207.tar.gz | |
Generic.toList-fromList is Data.Vec.Properties.toList∘fromList
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions