Programming
⚑ Report a ProblemLatest Programming news from Tech News
All topics
AI
Gear
Tech
agents
ai
api
architecture
automation
aws
beginners
career
claude
database
devchallenge
devops
javascript
llm
machinelearning
mcp
opensource
performance
productivity
programming
python
rust
security
showdev
tutorial
typescript
webdev
Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory
This project had been on pause for a while but I recently got back into it. My end goal is a series of examples for implementing Bidrectional Typechec…