Comment on Idris, a language that will change the way you think about programming (2015)Comments−muhuk10yBut does it allow specifying vectors that has no less than three and no more than seven items? Or vectors with even number of items?More importantly can we possibly implement church numerals in Haskell? /rhetorical−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?
More importantly can we possibly implement church numerals in Haskell? /rhetorical
"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.