GitHub / davidfstr / idris-insertion-sort
Provably correct implementation of insertion sort in Idris.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/davidfstr%2Fidris-insertion-sort
Stars: 31
Forks: 4
Open issues: 0
License: mit
Language: Idris
Size: 5.86 KB
Dependencies parsed at: Pending
Created at: about 10 years ago
Updated at: 16 days ago
Pushed at: almost 4 years ago
Last synced at: 4 days ago
Topics: idris, insertion-sort, proof
Loading...