search

liyishuai / coq-http2

MIT License
4 stars 0 forks source link

Numbers or vectors? #3

Open liyishuai opened 6 years ago

liyishuai commented 6 years ago

All the numbers encoded in frames are fixed-length, and they are not much involved in arithmetic computations. Maybe we should instead represent them as vectors? which also alleviates the pain of reasoning about their bounds.

olekgierczak commented 6 years ago

I think this is a good idea. It was messy to convert back and forth between arbitrary nats and vectors.