3 kyu

Simply typed lambda calculus type checker

40100% of 49ice1000
Loading description...
Algorithms
Functional Programming
Declarative Programming
Compiler Theory

These users have contributed to this kata:

Similar Kata:

1271% of 711FreddieC
Status:Testing & feedback needed
Estimated Rank:
4 kyu
7277% of 1120FreddieC
Status:Testing & feedback needed
Estimated Rank:
5 kyu
85100% of 28JohanWiltink
Status:Testing & feedback needed
Estimated Rank:
1 kyu
Status:Testing & feedback needed
Estimated Rank:
5 kyu
32100% of 12JohanWiltink
Status:Testing & feedback needed
Estimated Rank:
2 kyu
Status:Testing & feedback needed
Estimated Rank:
5 kyu

Other Kata Authored By ice1000:

Stats:

CreatedMar 15, 2019
PublishedMar 15, 2019
Warriors Trained88
Total Skips5
Total Code Submissions20
Total Times Completed9
Agda Completions9
Total Stars4
% of votes with a positive feedback rating100% of 4
Total "Very Satisfied" Votes4
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments5
Average Assessed Rank
2 kyu
Highest Assessed Rank
2 kyu
Lowest Assessed Rank
5 kyu