“Why don’t you use dependent types?”
Comments ⌘ Read more