GitHub / input-output-hk/equivalence-reasoner issues and pull requests
Labelled with: reason: invalid
#15 - Report bug regarding `match` interacting with backtracking
Issue -
State: closed - Opened by jeltsch about 4 years ago
- 1 comment
Labels: reason: invalid, type: communication