Yago WolfWhat if I add a condition to a type?This morning I was reading the formal definition of Refinement types and Dependent Types and I started to wonder if there exists any…Apr 2, 2018Apr 2, 2018