Me on CodeWars
Completing Katas primarily in Haskell, Idris and Agda. I am one of the principals of Gensokyo (a clan).
My Katas
Only those (at least to me) very meaningful Katas are listed.
Completing Katas primarily in Haskell, Idris and Agda. I am one of the principals of Gensokyo (a clan).
Only those (at least to me) very meaningful Katas are listed.