Proof Utilities
We’ve seen how Idris make use of replace and propositional equality to write proofs,
in this section we present definitions aimed at helping writing proofs.
We’ve seen how Idris make use of replace and propositional equality to write proofs,
in this section we present definitions aimed at helping writing proofs.