Q: What does it mean if a type system is fully dependent from values up?https://www.reddit.com/r/agda/comments/3xrd2f/q_what_does_it_mean_if_a_type_system_is_fully/ by lambdasquirrel • 11 years ago 1 0 11 years agoREreddit.com