Simply typed lambda calculus

ID: simply-typed-lambda-calculus

New to topics? Read the docs here!