From 00fa19d1dd0c149adc1eac0777a68db48afbcb49 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Thu, 5 Feb 2015 21:10:43 +0100 Subject: Moved --- week1/camil/2.3/MatchStrings.dcl | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 week1/camil/2.3/MatchStrings.dcl (limited to 'week1/camil/2.3/MatchStrings.dcl') diff --git a/week1/camil/2.3/MatchStrings.dcl b/week1/camil/2.3/MatchStrings.dcl new file mode 100644 index 0000000..527447c --- /dev/null +++ b/week1/camil/2.3/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