13 Oct
2010
13 Oct
'10
5:54 p.m.
2010/10/13 Jonas Almström Duregård
...and you can always do
hack :: Vec n a -> FixedVec a hack x :: FixedVec undefined
Also I'm guessing 1, 2 and 17 are just examples, he really wants arbitrary length finite lists.
Indeed. Where I said "is necessarily" I meant "is not necessarily". -- Jason Dusek Linux User #510144 | http://counter.li.org/