3 ms·I think it was "value judgement" (dependent types allow dispatching over a value in the type system)by zesterer 4y agoI think it was "value judgement" (dependent types allow dispatching over a value in the type system)