ϵ">]>
Literature.
[1] J. Komara. Specification and Verification of Programs. Online.
[2] Ján Kľuka. Úvod do deklaratívneho programovania. Online.
Insertion sort. Implement insertion sort; that is, define the function such that
with the help of the insertion function .