Beta

Loading Kata: Simply typed lambda calculus type checker