add difficulty to P21, P22

lean-ja · Mar 20, 2024 · 8a730dc · 8a730dc
1 parent bfdca19
commit 8a730dc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Src/Problem21.lean b/Src/Problem21.lean
@@ -1,6 +1,6 @@
 /-
 # Problem 21
-Insert an element at a given position into a list.
+(Easy 🌟) Insert an element at a given position into a list.
 -/
 variable {α : Type}
 

diff --git a/Src/Problem22.lean b/Src/Problem22.lean
@@ -1,6 +1,6 @@
 /-
 # Problem 22
-Create a list containing all integers within a given range.
+(Easy 🌟) Create a list containing all integers within a given range.
 -/
 
 def range (m n : Int) : List Int :=