A big thanks to our community for continued support and participation. We have added more languages and updated language versions.
A general purpose pure functional programming language with dependent types.
Agda is a dependently typed functional programming language.
We’ll be honest. We don’t know these languages enough to write nice introductions, but some of our users are extremely excited to have theorem proving challenges on Codewars. If you’re interested to start learning, check out 8 kyu “Theorem proving hello world: prove a+0=a and 0+a=a”.
The addition of these languages brings our count of supported languages to 41! Our library is steadily growing with kata built around the new languages and we would love to see more contributions from you! Check out some of the kata above.
We hope you enjoy these updates! We are continually working to improve the platform, so thank you for your patience and continued use of Codewars.