4 ms·Q: What does it mean if a type system is fully dependent from values up?1 points by lambdasquirrel 11y ago