Zulip Chat Archive

Stream: Codewars

Topic: Lean is now a stable supported language on Codewars


Donald Sebastian Leung (May 20 2020 at 04:52):

Lean has just been officially declared as a stable supported language on Codewars! Thank you to all of you who have contributed to our site by actively participating in the Beta Process over the past two months, whether by actively solving Beta kata and casting your votes on them or generating new Lean content by authoring your own kata; we would not have gotten this far in such a short period of time without your involvement.

we-did-it.png

Jalex Stark (May 20 2020 at 05:07):

Thanks Donald for introducing us to this wonderful platform that gets us thinking about pedagogy in different ways :)


Last updated: Dec 20 2023 at 11:08 UTC