5 kyu

Exploring ways to evaluate and compile a trivial language

93100% of 733 of 50solitude
Loading description...
Fundamentals
Theorem Proving

These users have contributed to this kata:

Stats:

CreatedApr 25, 2019
PublishedApr 25, 2019
Warriors Trained130
Total Skips13
Total Code Submissions64
Total Times Completed50
Coq Completions33
Agda Completions12
Idris Completions8
Total Stars9
% of votes with a positive feedback rating100% of 7
Total "Very Satisfied" Votes7
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
5 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
8 kyu