4 kyu

Evaluating the type safety of a toy language

Loading description...
Puzzles
Theorem Proving

These users have contributed to this kata:

Similar Kata:

1050% of 712S_OK
Status:Testing & feedback needed
Estimated Rank:
8 kyu
Status:Testing & feedback needed
Estimated Rank:
5 kyu
1275% of 49Prince
Status:Testing & feedback needed
Estimated Rank:
5 kyu

Stats:

CreatedJun 9, 2019
PublishedJun 9, 2019
Warriors Trained33
Total Skips1
Total Code Submissions20
Total Times Completed5
Coq Completions5
Total Stars1
% of votes with a positive feedback rating100% of 3
Total "Very Satisfied" Votes3
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
4 kyu
Highest Assessed Rank
4 kyu
Lowest Assessed Rank
4 kyu