Open bgamari opened 2 months ago
At the moment prop_fanin
does not pass for reasons that I haven't yet understood.
There seems to be some overlap with https://github.com/clash-lang/clash-protocols/pull/83 ...
We're trying to be sensible about which protocols we add to this package, so now I also added BiDf
to this overview:
https://github.com/clash-lang/clash-protocols/discussions/84
This introduces a new protocol,
BiDf
, which captures the common pattern of a requestDf
channel paired with aDf
for returning corresponding responses.