3 kyu

Simply typed lambda calculus type checker

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

These users have contributed to this kata:

Similar Kata:

Beta
Fibonacci Lambda Calculus
1271% of 711FreddieC
Status:Testing & feedback needed
Estimated Rank:
4 kyu
Beta
Lambda Calculus: Lists
7277% of 1120FreddieC
Status:Testing & feedback needed
Estimated Rank:
5 kyu
Beta
Compiler to Lambda Calculus
85100% of 28JohanWiltink
Status:Testing & feedback needed
Estimated Rank:
1 kyu
Beta
Implementing a Verified Evaluator for the Untyped Lambda Calculus
10100% of 25donaldsebleung
Status:Testing & feedback needed
Estimated Rank:
5 kyu
Beta
Lambda Calculus: Lists as folds II
32100% of 12JohanWiltink
Status:Testing & feedback needed
Estimated Rank:
2 kyu
Beta
Scrabble Checker
30100% of 12Paul Robertson
Status:Testing & feedback needed
Estimated Rank:
5 kyu

Other Kata Authored By ice1000:

Beta
Voile's question: ∀ (n : ℕ), 1 = 2 * n
00100% of 24ice1000
Status:Testing & feedback needed
Estimated Rank:
7 kyu

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