Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory

(github.com) by birdculture | Apr 15, 2026 | 0 comments on HN