"Why don't you use dependent types?"

[baruchel]

Article URL: https://lawrencecpaulson.github.io//2025/11/02/Why-not-dependent.html

Comments URL: https://news.ycombinator.com/item?id=45790827

Points: 85

# Comments: 23