Beta

Function extensionality and explicitness

11100% of 412ice1000
Loading description...
Fundamentals
Theorem Proving
Functional Programming
Declarative Programming

Similar Kata:

Other Kata Authored By ice1000:

00100% of 25ice1000
Status:Testing & feedback needed
Estimated Rank:
7 kyu
Status:Testing & feedback needed
Estimated Rank:
3 kyu

Stats:

CreatedApr 26, 2021
PublishedApr 26, 2021
Warriors Trained21
Total Skips1
Total Code Submissions12
Total Times Completed12
Agda Completions12
Total Stars1
% of votes with a positive feedback rating100% of 4
Total "Very Satisfied" Votes4
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
5 kyu
Highest Assessed Rank
3 kyu
Lowest Assessed Rank
8 kyu