Inductive types are initial algebras

31100% of 12lwoo1999
Loading description...

Other Kata Authored By lwoo1999:

43100% of 610lwoo1999
Status:Awaiting approval
Estimated Rank:
4 kyu


CreatedJul 8, 2019
PublishedJul 8, 2019
Warriors Trained35
Total Skips4
Total Code Submissions1
Total Times Completed2
Agda Completions2
Total Stars3
% of votes with a positive feedback rating100% of 1
Total "Very Satisfied" Votes1
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments1
Average Assessed Rank
2 kyu
Highest Assessed Rank
2 kyu
Lowest Assessed Rank
2 kyu