Zulip Chat Archive

Stream: Codewars

Topic: Almost there!


view this post on Zulip Donald Sebastian Leung (May 11 2020 at 09:15):

So we now have 49 approved Lean kata - 1 to go before we can bug kazk again to consider moving Lean out of Beta :wink:

As for the total number of kata (approved and beta), we now have 77 in Lean compared to 79 in Coq (and 50 in Agda, 24 in Idris). Well done! It should be noted that it took us just under 1.5 months to get to 77 kata in Lean, compared to about a year to get to 79 in Coq.

view this post on Zulip Donald Sebastian Leung (May 12 2020 at 10:42):

And we now have 50! Given that kazk stays true to his word, Lean support should be able to leave Beta within the next 24 hours.

view this post on Zulip Mario Carneiro (May 12 2020 at 10:45):

wow those last 30414093201713378043612608166064768844377641568960511999999999951 kata sure went fast

view this post on Zulip Reid Barton (May 12 2020 at 10:46):

I hope you used the new norm_num for that

view this post on Zulip Mario Carneiro (May 12 2020 at 10:47):

I memorized these as a kid, what do you mean?

view this post on Zulip Donald Sebastian Leung (May 13 2020 at 03:07):

I've opened Codewars/codewars.com#2134 as per kazk's request (for moving Lean support on Codewars out of Beta), feel free to show your support by adding your :+1: to the issue ticket.


Last updated: May 08 2021 at 22:13 UTC