Kata

1 kyu

A+B=B+A? Prove it!

64 64 2396% of 92313AJFarmar

Train Next Kata

Loading description...

Fundamentals

Mathematics

Algorithms

Numbers

These users have contributed to this kata:

Similar Kata:

1 kyu

A*B=B*A? Prove it!

26 26 1394% of 34134ice1000

6 kyu

A+A=B+B so A=B? Prove it!

4 4 483% of 39162ice1000

4 kyu

(A+B)+C=A+(B+C)? Prove it!

20 20 1194% of 41185

Beta

A+B=B+A? Prove it in using DataKinds!

1 1 033% of 36ice10001 Issue Reported

Status:Testing & feedback needed

Estimated Rank:
3 kyu

4 kyu

A+A=B+B so A=B? Prove it in Haskell!

3 3 1100% of 611ice10001 Issue Reported

6 kyu

Prove that a ^ 4 - b ^ 4 = (a - b) * (a + b) * (a ^ 2 + b ^ 2), using nats

2 2 0100% of 635user8436785

6 kyu

0.999... = 1? Prove it!

3 3 1100% of 413donaldsebleung

2 kyu

Odd + Even = Odd? Prove it!

79 79 2998% of 171500AJFarmar

Other Kata Authored By AJFarmar:

4 kyu

Template Haskell: Tuple maker

22 22 1296% of 24100AJFarmar

5 kyu

Convert all the cases!

87 87 3991% of 257892AJFarmar1 Issue Reported

1 kyu

One function, many arguments: Haskell style.

54 54 2395% of 75273AJFarmar

4 kyu

Simple Syntax Tokenizing

31 31 1191% of 50129AJFarmar

Stats:

Created	Oct 9, 2017
Published	Oct 9, 2017
Warriors Trained	992
Total Skips	65
Total Code Submissions	2959
Total Times Completed	313
Haskell Completions	313
Total Stars	64

% of votes with a positive feedback rating	96% of 92
Total "Very Satisfied" Votes	84
Total "Somewhat Satisfied" Votes	8
Total "Not Satisfied" Votes	0
Total Rank Assessments	6
Average Assessed Rank	1 kyu
Highest Assessed Rank	1 kyu
Lowest Assessed Rank	1 kyu