Beta

Inductive types are initial algebras

33100% of 12lwoo1999
Loading description...
Fundamentals

Other Kata Authored By lwoo1999:

33100% of 58lwoo1999
Status:Awaiting moderator approval
Estimated Rank:
4 kyu

Stats:

CreatedJul 8, 2019
PublishedJul 8, 2019
Warriors Trained23
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