Generic.toList-fromList is Data.Vec.Properties.toList∘fromList
authorHelmut Grohne <helmut@subdivi.de>
Sun, 31 Mar 2019 20:36:21 +0000 (22:36 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 31 Mar 2019 20:36:21 +0000 (22:36 +0200)
commit8435606d98e418394edbe5104b3f425e56a5a207
tree49f2d9f5a9066d81f1f5ad59b7e2839510828c2e
parent4071a4a9d85c7187b3a6d324e787adbe282817c0
Generic.toList-fromList is Data.Vec.Properties.toList∘fromList
Generic.agda
LiftGet.agda