First Pull Request

Re-introduce dependency on `half` well-typed/cborg

I recently had a case where I wanted to use `binary-serialise-cbor` with some code from `clash-prelude`, but `clash-prelude` needs `half`, which we explicitly removed Many Years Ago. I think it'...

Created - 1 comment - A-enhance bikeshed E-easy P-medium

Why is Maybe different? well-typed/cborg

The defacto standard set by `GSerialiseSum` is always a tag and an array. The handwritten types seem to keep to this. Why is `Maybe` different? I'm having to special-case it in my generated C++ ...

Created - 3 comments - A-bug E-easy P-medium question

Displaying all 2 issues