Beta

Uneval your Agda expression

31100% of 23ice1000
Details
Solutions
Discourse
  • |
  • Share this kata:
Loading description...
Bugs
Reflection
Metaprogramming
Advanced Language Features
Fundamentals

Other Kata Authored By ice1000:

Stats:

CreatedJun 29, 2019
PublishedJun 29, 2019
Warriors Trained13
Total Skips0
Total Code Submissions3
Total Times Completed3
Agda Completions3
Total Stars3
% of votes with a positive feedback rating100% of 2
Total "Very Satisfied" Votes2
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments2
Average Assessed Rank
5 kyu
Highest Assessed Rank
5 kyu
Lowest Assessed Rank
6 kyu