diff options
Diffstat (limited to 'fp1/week1/mart/MatchStrings.dcl')
| -rw-r--r-- | fp1/week1/mart/MatchStrings.dcl | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/fp1/week1/mart/MatchStrings.dcl b/fp1/week1/mart/MatchStrings.dcl deleted file mode 100644 index 527447c..0000000 --- a/fp1/week1/mart/MatchStrings.dcl +++ /dev/null @@ -1,8 +0,0 @@ -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
|