ϵ">]>
Literature.
[1] J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001.
[2] J. Kľuka. Lecture Notes from Introduction to Declarative Programming Summer 2010/11.
Insertion sort. Implement insertion sort; that is, define the function such that
with the help of the insertion function .