From ac1fe7d7abba32ef0c83ca1a22092bab9de5f171 Mon Sep 17 00:00:00 2001
From: Ryan Kavanagh <rak@debian.org>
Date: Thu, 13 Sep 2018 16:29:29 -0400
Subject: SML example import

---
 examples/sml/support/adder.sig | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 examples/sml/support/adder.sig

(limited to 'examples/sml/support/adder.sig')

diff --git a/examples/sml/support/adder.sig b/examples/sml/support/adder.sig
new file mode 100644
index 0000000..4203823
--- /dev/null
+++ b/examples/sml/support/adder.sig
@@ -0,0 +1,5 @@
+(* Your task is to implement this. *)
+signature ADDER =
+sig
+    val add : (int * int) -> int
+end
-- 
cgit v1.2.3