/idris2-proj

insertion sort and bubble sort implementations carrying proofs of correctness

Primary LanguageIdris

No issues in this repository yet.