[idris] implement sorting function
[idris] implement sorting function

raventid/coursera_learning,raventid/coursera_learning,raventid/coursera_learning,raventid/coursera_learning,raventid/coursera_learning,raventid/coursera_learning,raventid/coursera_learning,raventid/coursera_learning,raventid/coursera_learning,raventid/coursera_learning