Q: What does it mean if a type system is fully dependent from values up?reddit.com1 point·lambdasquirrel··0 commentsOpen articleSaveView on HN