Beta

Evaluating the type safety of a toy language

Details
Solutions
Discourse
  • |
  • Share this kata:
Loading description...
Puzzles
Theorem Proving

Stats:

CreatedJun 9, 2019
PublishedJun 9, 2019
Warriors Trained15
Total Skips0
Total Code Submissions17
Total Times Completed4
Coq Completions4
Total Stars1
% of votes with a positive feedback rating100% of 2
Total "Very Satisfied" Votes2
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments2
Average Assessed Rank
4 kyu
Highest Assessed Rank
4 kyu
Lowest Assessed Rank
4 kyu