Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theorygithub.com/solomon-b3 pointsbirdculture2 months ago