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
PURL: pkg:github/davidfstr/idris-insertion-sort

Stars: 31
Forks: 4
Open issues: 0

License: mit
Language: Idris
Size: 5.86 KB
Dependencies parsed at: Pending

Created at: over 10 years ago
Updated at: 4 months ago
Pushed at: over 4 years ago
Last synced at: 3 days ago

Topics: idris, insertion-sort, proof

Loading...