liyishuai / coq-http2

MIT License
4 stars 0 forks source link

Use sigma types for [SettingKeyId]. #5

Closed lastland closed 6 years ago

lastland commented 6 years ago

I did this as a response to #2 and for fun. I am not sure if this would be a good practice to use these definitions, so I will leave the question of whether to merge this PR to you.