fix(proofs): align Idris Lang enum with Rust (Chapel not C) — closes #41#46

hyperpolymath merged 2 commits into

mainhyperpolymath/panic-attack:mainfrom

fix/idris-lang-chapel-not-chyperpolymath/panic-attack:fix/idris-lang-chapel-not-cCopy head branch name to clipboard