https://github.com/stepancheg/idris-sort

https://github.com/stepancheg/idris-sort

Last synced: about 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/stepancheg/idris-sort
• Owner: stepancheg
• Created: 2018-07-20T16:39:56.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-03-17T21:09:21.000Z (almost 6 years ago)
• Last Synced: 2024-10-13T13:09:08.605Z (3 months ago)
• Language: Idris
• Size: 72.3 KB
• Stars: 3
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Implementation of sort algorithm in Idris

Just for fun and self-education,

Most of code copy-pasted from [this beautiful blog post](https://github.com/bmsherman/blog/wiki/Quicksort-in-Idris).

Implementation of permutation transitivity

(which is the hardest part of the implementation, and omitted in "Quicksort in Idris" blogpost)

is taken from [this gist](https://gist.github.com/AndrasKovacs/0d7bcc3aba513c29ef73/).