Q: What does it mean if a type system is fully dependent from values up?(reddit.com)
reddit.com
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/
0 comments
—