We Live in the Dependently Typed Future Now
By ibobev · 2026-10-14 · 2 points · 0 comments
https://www.stephendiehl.com/posts/dependently_typed_future/
By ibobev · 2 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews