Beta

Inductive types are initial algebras

Description:

Loading description...
Fundamentals

Similar Kata:

Stats:

CreatedJul 8, 2019
PublishedJul 8, 2019
Warriors Trained42
Total Skips7
Total Code Submissions2
Total Times Completed3
Agda Completions3
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 Assessments2
Average Assessed Rank
2 kyu
Highest Assessed Rank
2 kyu
Lowest Assessed Rank
2 kyu
Ad
Contributors
  • lwoo1999 Avatar
Ad