From 537bb5e2bae76e0df0d9e07a40dbe6b299be6aad Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 3 Jul 2015 12:43:24 +0200
Subject: Truth tables

---
 StringUtils.dcl | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 StringUtils.dcl

(limited to 'StringUtils.dcl')

diff --git a/StringUtils.dcl b/StringUtils.dcl
new file mode 100644
index 0000000..b473246
--- /dev/null
+++ b/StringUtils.dcl
@@ -0,0 +1,11 @@
+definition module StringUtils
+
+import StdEnv
+
+strlen :: String -> Int
+
+pad_right :: String Int -> String
+pad_left :: String Int -> String
+
+join :: String [String] -> String
+
-- 
cgit v1.2.3