IntersectMBO / IntersectMBO/formal-ledger-specifications
Introduce `Setoid` interface, for dealing with equality/equivalences in a uniform way.
Open
enhancement
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
This is a hint of the missing `Setoid/DecSetoid` interfaces, maybe worth a subsequent PR.
_Originally posted by @omelkonian in https://github.com/input-output-hk/formal-ledger-specifications/pull/237#discussion_r1350493273_
Contributor guide
Assessment
This issue has not been assessed yet.