← All repos

davidfstr/idris-insertion-sort

View on GitHub ↗ ★ 31 Idris

Provably correct implementation of insertion sort in Idris.

5 mentions on Hacker News by 3 people: 0 stories, 5 comments · first 2017-05-31 · latest 2019-07-01