From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 2 Feb 2016 19:24:50 +0100
Subject: Moved to 1415 directory

---
 1415/files/practicum/MatchStrings.dcl | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 1415/files/practicum/MatchStrings.dcl

(limited to '1415/files/practicum/MatchStrings.dcl')

diff --git a/1415/files/practicum/MatchStrings.dcl b/1415/files/practicum/MatchStrings.dcl
new file mode 100644
index 0000000..527447c
--- /dev/null
+++ b/1415/files/practicum/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