proofs(idris2): close #129 — overwriteIrreversible non-existence redesign - #137

proofs(idris2): close #129 — overwriteIrreversible non-existence redesign#137

hyperpolymath merged 4 commits into

mainhyperpolymath/valence-shell:mainfrom

proofs/idris2-129-overwrite-irreversible-redesignhyperpolymath/valence-shell:proofs/idris2-129-overwrite-irreversible-redesignCopy head branch name to clipboard