tarao/lambda-scala

lambda-scala - Type level lambda calculus in Scala