From 634f2d65ded5ad683c65efdb900992e89471018c Mon Sep 17 00:00:00 2001
From: Mart Lubbers
Date: Thu, 5 Feb 2015 21:05:17 +0100
Subject: week1: mart

---
 week1/mart/MatchStrings.dcl | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 week1/mart/MatchStrings.dcl

(limited to 'week1/mart/MatchStrings.dcl')

diff --git a/week1/mart/MatchStrings.dcl b/week1/mart/MatchStrings.dcl
new file mode 100644
index 0000000..527447c
--- /dev/null
+++ b/week1/mart/MatchStrings.dcl
@@ -0,0 +1,8 @@
+definition module MatchStrings
+
+head			::        String -> Char
+tail			::        String -> String
+is_gelijk		:: String String -> Bool
+is_deelstring	:: String String -> Bool
+is_deel			:: String String -> Bool
+is_match		:: String String -> Bool
-- 
cgit v1.2.3