Tags: oracle/bft-consensus-agda
Tags
Make `EitherD-[either|maybe]` consistent with traditional argument or… …der (#180) * Make EitherD-either consistent with traditional argument order; our preference for swicthed order is application-specific * Make Haskell/Dijskstra maybeD have traditional argument order too Signed-off-by: Mark Moir <[email protected]> * Review comments Signed-off-by: Mark Moir <[email protected]>
Make `EitherD-[either|maybe]` consistent with traditional argument or… …der (#180) * Make EitherD-either consistent with traditional argument order; our preference for swicthed order is application-specific * Make Haskell/Dijskstra maybeD have traditional argument order too Signed-off-by: Mark Moir <[email protected]> * Review comments Signed-off-by: Mark Moir <[email protected]>
Eliminate an unnecessary import and comment on two more that should b… …e eliminated in future Signed-off-by: Mark Moir <[email protected]>