Why don't you use dependent types?
baruchel
Nov 2, 2025
207 points
71 comments
This story links to an external article. The original source is:
lawrencecpaulson.github.ioPreview
Note: Some websites may not display properly in the preview below due to security restrictions.
If the preview doesn't load properly, please visit the original source directly using the button above.