Hacker News new | ask | show | jobs
by andreabedini 2493 days ago
Yes, that’s the whole point of dependent types: types can depend on (runtime) values.