3 Commits

Author	SHA1	Message	Date
Fabián Heredia Montiel	e488c6cf0e	Make applicative implementation of Vect public export	2020-06-29 18:27:57 -05:00
Ohad Kammar	6683a2147f	Export the lengthCorrect proof, as users might want to use it ... Change the `len` to be irrelevant, as it's uniquely determined by matching on the input vector	2020-06-27 15:54:35 +01:00
Edwin Brady	dec7dff622	Add libraries	2020-05-18 14:00:08 +01:00