Andrew HynesinClick Travel EngineeringWhy you should care about dependently typed programmingWhen people hear of “dependently typed programming”, they may think of languages like Agda and Coq, highly theoretically influenced proof…Jan 10, 20185Jan 10, 20185