GitHub - tarao/lambda-scala: Type level lambda calculus in Scala

lambda-scala - Type level lambda calculus in Scala