I wonder if Idris should be on the list of languages for Functional February badge. It is similar to Haskell.
Looks like this guy need to be updated
functional_february_badge.rb
Perhaps I could help with that 
Maybe a separate badge could be create for dependently typed languages ( Lean, Agda, Rocq, etc.).
Functional February was part of the 2023 coding challenge “12 in 23”. It doesn’t really even exist on the web site anymore. Sorry, but it’s unlikely your request will be satisfied.
If I remember correctly, one still does get the badges awarded when meeting the requirements (independent of the year). At least I got the Appy August in 2024.
I do not see any year requirements in badges definitions. I signed up in 2025 and got Mindshifting May and Summer of Sexps so far.
There was PR in 17 April 2025 to add Uiua to MindShiftingMay: Update mind_shifting_may_badge.rb by srcerer · Pull Request #7729 · exercism/website · GitHub - there was a precedence