Beta

Simply typed lambda calculus type checker

10100% of 12ice1000
Details
Solutions
Discourse (3)
  • |
  • Share this kata:
Loading description...
Algorithms
Functional Programming
Declarative Programming
Compiler Theory

Similar Kata:

Status:Waiting for issues to be resolved
Estimated Rank:
1 kyu
6591% of 1653anter69
7296% of 2577SomeGuy
Status:Waiting for issues to be resolved
Estimated Rank:
4 kyu
Status:Testing & feedback needed
Status:Testing & feedback needed
Status:Waiting for issues to be resolved

Stats:

CreatedMar 15, 2019
PublishedMar 15, 2019
Warriors Trained11
Total Skips0
Total Code Submissions1
Total Times Completed2
Agda Completions2
Total Stars1
% of votes with a positive feedback rating100% of 1
Total "Very Satisfied" Votes1
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments1
Average Assessed Rank
2 kyu
Highest Assessed Rank
2 kyu
Lowest Assessed Rank
2 kyu