Use specified length

[Diadlo]

One the top of the spec variable length declared as [0,]

---

This change is 

[robinlinden]

For Travis to pass you have to strip the superfluous whitespace in the tables.

[Diadlo]

@robinlinden Fixed

[iphydf]

Looks good, can you make this change on https://github.com/TokTok/hs-toxcore? We can then merge it back into the spec.

[Diadlo]

@iphydf Why spec moved under haskell implementation of toxcore?

[iphydf]

@Diadlo it has been there pretty much from the start. Why: because the implementation is next to the specification. We can look at the spec in latex and see the haskell model implementation right between the lines.

[Diadlo]

@iphydf Why not in c-toxcore? C model shouldn't be right between the lines?

[iphydf]

@Diadlo no, because C is not a model implementation. It's an efficient, verbose, and non-obvious implementation. The Haskell implementation is intended to be very clear, "obviously correct" (as opposed to "arguably correct", which is a property of the C implementation).

[iphydf]

Please enable the checkbox "Allow edits from maintainers." on the bottom right.

[Diadlo]

@iphydf Done