extra isogram test

IsogramTest.lean is generated using

cd generators
lake exe generator -g isogram

Author: keiravillekode

exercises/practice/isogram/.meta/extra.json

@@ -0,0 +1,10 @@
+[
+  {
+    "description": "26 letter name",
+    "property": "isIsogram",
+    "input": {
+      "phrase": "Mamungkukumpurangkuntjunya"
+    },
+    "expected": false
+  }
+]

exercises/practice/isogram/IsogramTest.lean

@@ -33,6 +33,8 @@ def isogramTests : TestSuite :=
       return assertFalse (Isogram.isIsogram "angola"))
   |>.addTest "word with duplicated character and with two hyphens" (do
       return assertFalse (Isogram.isIsogram "up-to-date"))
+  |>.addTest "26 letter name" (do
+      return assertFalse (Isogram.isIsogram "Mamungkukumpurangkuntjunya"))
 
 def main : IO UInt32 := do
   runTestSuitesWithExitCode [isogramTests]