Beta

Function extensionality and explicitness

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

Other Kata Authored By ice1000:

Stats:

CreatedApr 26, 2021
PublishedApr 26, 2021
Warriors Trained36
Total Skips0
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