yuxuanchiadm

Name:Yu Xuanchi

Clan:Gensokyo

Member Since:Jul 2017

Last Seen:Aug 2024

Profiles:

Following:428

Followers:423

Allies:415

- ice1000
- commented on "(A+B)+C=A+(B+C)? Prove it!" kata
nevernevermindnevernevermindnevernevermindnevernevermindNevermide, it's already approved by ZED. To approve, edit the Kata and you'll see related buttons. And you'll know.
- ice1000
- commented on "(A+B)+C=A+(B+C)? Prove it!" kata
Hi! Could you please approve this Kata?
- ice1000
- commented on "(A+B)+C=A+(B+C)? Prove it!" kata
Checkout this new Kata! You're cool man
- pier-bezuhoff
- commented on "Count them all!" kata
Yes, you are right, I have updated tests for Factor [].
Thank you for pointing it out!
- pier-bezuhoff
- commented on "Count them all!" kata
Type Void has no constructors.
It could be defined:
```
{-# LANGUAGE EmptyDataDecls #-}
data Void
```
- Voile
- resolved an issue on "Peano and Church" kata
I just tested that and it works properly.

It's kinda well-known that CW server becomes finicky at katas at the size like this, so you might want to try re-submitting a few times. (At least sample tests are free, they don't count towards "total number of attempts").