TyteKa | Codewars

Name:Ray XU

Clan:Zhejiang University

Member Since:Aug 2017

Last Seen:Aug 2023

Profiles:

Following:222

Followers:222

Allies:222

View Profile Badges

5 kyu

Square sums (simple)

Completed Languages:

5 kyu

Last digit of a large number

25,020dburgoyne

Completed Languages:

2 kyu

Finally tagless interpreter

303tel

Completed Languages:

4 kyu

Introduction to bijection, cardinality, and infinite sets

Completed Languages:

8 kyu

Triple negation

Completed Languages:

4 kyu

22,748g964

Completed Languages:

2 kyu

Completed Languages:

4 kyu

Smallest possible sum

7,452dkhaburdzania

Completed Languages:

4 kyu

Completed Languages:

5 kyu

Weight for weight

54,176g964

Completed Languages:

1 kyu

Simple Interactive Interpreter

2,349Wintermute

Completed Languages:

8 kyu

Theorem proving hello world: prove a+0=a and 0+a=a

Completed Languages:

2 kyu

Completed Languages:

1 kyu

One function, many arguments: Haskell style.

Completed Languages:

1 kyu

Sure, but can you SKI? (I)

Completed Languages:

Loading more items...