Comment on Idris, a language that will change the way you think about programming (2015)parentComments−dllthomas10y"But does it allow specifying vectors that has no less than three and no more than seven items? Or vectors with even number of items?"Yes.
Comments
"But does it allow specifying vectors that has no less than three and no more than seven items? Or vectors with even number of items?"
Yes.