Idris Board Game

Looking for a person who can develop a playable Sudоku game using Idris language (idris-lang . org). This must only be done using Idris! It is quite similar to Haskell.

Please contact me if you have experience and/or can learn Idris ASAP. I can give more details.