Beta

Simply typed lambda calculus type checker

20100% of 24ice1000
Details
Solutions
Discourse (5)
  • |
  • Share this kata:
Loading comments...