Matt McCarty
@pented.bsky.social
Software Engineer by trade. λ, PL theory, distributed systems, all jawns Philly 🔔
The Curry-Howard-Lambek Correspondence strikes again...I look forward to the day dependent type systems go mainstream.
February 12, 2025 at 11:55 PM
The Curry-Howard-Lambek Correspondence strikes again...I look forward to the day dependent type systems go mainstream.