Meh, "vector of length n" is the Fibonacci function of dependent typing!
@tomaspetricek @acid2 It's hard to be convincing at the same time as being comprehensible. I've found Vect does the best job in a short time
-
-
@edwinbrady@acid2 Vector is good, but it is in *every* single tutorial I found. May make people think it's the only thing that can be done! -
@tomaspetricek@acid2 I hope people don't think the first example demonstrates the limits, or they'll think C can only print "hello world" - 3 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.