"Why don't you use dependent types?"

November 2, 2025

Share This Post

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

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

Points: 2

# Comments: 0

Source: lawrencecpaulson.github.io

Subscribe To Our Newsletter

Get updates and learn from the best

More To Explore

Windows Securitym Hackers Feeds

Study: Good management of aid projects reduces local violence

Article URL: https://news.mit.edu/2025/study-good-management-aid-projects-reduces-local-violence-1103 Comments URL: https://news.ycombinator.com/item?id=45796020 Points: 1 # Comments: 0 Source: news.mit.edu

November 3, 2025

Windows Securitym Hackers Feeds

Hooked on Sonics: Experimenting with Sound in 19th-Century Popular Science

Article URL: https://publicdomainreview.org/essay/science-of-sound/ Comments URL: https://news.ycombinator.com/item?id=45796015 Points: 1 # Comments: 0 Source: publicdomainreview.org

November 3, 2025

IT Support

Hosting & Email

Cloud Solutions

Cyber Security

Telephone & Internet