From 63c3043200de6b28a8c192f1b5625940435ea55e Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Sat, 17 Oct 2015 14:20:48 +1100
Subject: Organised source code a bit, added makefile with clean target

---
 sort/insertion.ads | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 sort/insertion.ads

(limited to 'sort/insertion.ads')

diff --git a/sort/insertion.ads b/sort/insertion.ads
new file mode 100644
index 0000000..19b6b2c
--- /dev/null
+++ b/sort/insertion.ads
@@ -0,0 +1,16 @@
+
+
+generic
+
+    type Index_T is (<>);
+    type Element_T is private;
+    type Array_T is array (Index_T range <>) of Element_T;
+
+    with function ">"(X, Y : in Element_T) return Boolean is <>;
+
+package Insertion is
+
+    procedure Sort(Arr : in out Array_T);
+
+end Insertion;
+
-- 
cgit