add comment after sorry informing it should be removed (exercism#148)

Author: oxe-i

exercises/practice/acronym/Acronym.lean

@@ -1,6 +1,6 @@
 namespace Acronym
 
 def abbreviate (phrase : String) : String :=
-  sorry
+  sorry --remove this line and implement the function
 
 end Acronym

exercises/practice/affine-cipher/AffineCipher.lean

@@ -1,9 +1,9 @@
 namespace AffineCipher
 
 def encode (phrase : String) (a : Nat) (b : Nat) : Option String :=
-  sorry
+  sorry --remove this line and implement the function
 
 def decode (phrase : String) (a : Nat) (b : Nat) : Option String :=
-  sorry
+  sorry --remove this line and implement the function
 
 end AffineCipher

exercises/practice/all-your-base/AllYourBase.lean

@@ -3,6 +3,6 @@ namespace AllYourBase
 def ValidBase := { x : Nat // x >= 2 }
 
 def rebase (inputBase : ValidBase) (digits : List (Fin inputBase.val)) (outputBase : ValidBase) : List (Fin outputBase.val) :=
-  sorry
+  sorry --remove this line and implement the function
 
 end AllYourBase

exercises/practice/allergies/Allergies.lean

@@ -12,9 +12,9 @@ inductive Allergen where
   deriving BEq, Repr
 
 def allergicTo (allergen : Allergen) (score : Nat) : Bool :=
-  sorry
+  sorry --remove this line and implement the function
 
 def list (score : Nat) : List Allergen :=
-  sorry
+  sorry --remove this line and implement the function
 
 end Allergies

exercises/practice/anagram/Anagram.lean

@@ -1,6 +1,6 @@
 namespace Anagram
 
 def findAnagrams (subject : String) : List String -> List String :=
-  sorry
+  sorry --remove this line and implement the function
 
 end Anagram

exercises/practice/armstrong-numbers/ArmstrongNumbers.lean

@@ -1,6 +1,6 @@
 namespace ArmstrongNumbers
 
 def isArmstrongNumber (number : Nat) : Bool :=
-  sorry
+  sorry --remove this line and implement the function
 
 end ArmstrongNumbers

exercises/practice/atbash-cipher/AtbashCipher.lean

@@ -1,9 +1,9 @@
 namespace AtbashCipher
 
 def encode (phrase : String) : String :=
-  sorry
+  sorry --remove this line and implement the function
 
 def decode (phrase : String) : String :=
-  sorry
+  sorry --remove this line and implement the function
 
 end AtbashCipher

exercises/practice/bank-account/BankAccount.lean

@@ -5,21 +5,21 @@ structure Account where
   -- it must be able to handle parallel transactions
 
 def Account.create : IO Account :=
-  sorry
+  sorry --remove this line and implement the function
 
 def Account.open (account : Account) : IO Unit :=
-  sorry
+  sorry --remove this line and implement the function
 
 def Account.close (account : Account) : IO Unit :=
-  sorry
+  sorry --remove this line and implement the function
 
 def Account.deposit (amount : Nat) (account : Account) : IO Unit :=
-  sorry
+  sorry --remove this line and implement the function
 
 def Account.withdraw (amount : Nat) (account : Account) : IO Unit :=
-  sorry
+  sorry --remove this line and implement the function
 
 def Account.balance (account : Account) : IO Nat :=
-  sorry
+  sorry --remove this line and implement the function
 
 end BankAccount

exercises/practice/binary-search/BinarySearch.lean

@@ -1,6 +1,6 @@
 namespace BinarySearch
 
 def find (value : Int) (array : Array Int) : Option Nat :=
-  sorry
+  sorry --remove this line and implement the function
 
 end BinarySearch

exercises/practice/bob/Bob.lean

@@ -1,6 +1,6 @@
 namespace Bob
 
 def response (heyBob : String) : String :=
-  sorry
+  sorry --remove this line and implement the function
 
 end Bob