Skip to content
Back
Theme
Converting 78 Agda files to idiomatic TypeScript in 20 minutes https://t.co/Ja0Z9m87Fv
1 min read
Original article ↗
Don't miss what's happening
People on X are the first to know.