0 | ||| Additional properties and lemmata to do with Vect
1 | module Data.Vect.Properties
2 |
3 | import public Data.Vect.Properties.Tabulate
4 | import public Data.Vect.Properties.Index
5 | import public Data.Vect.Properties.Foldr
6 | import public Data.Vect.Properties.Map
7 | import public Data.Vect.Properties.Fin
8 |