Hacker News new | ask | show | jobs
by perfmode 2791 days ago
i thought these constraints were known as dependent types?