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.

Theorem Proving

Dependently-Typed Programming

Agda reflection

Parsing and Evaluation

Algorithms

Java and Kotlin