Dependent Types For Humanshttps://medium.com/p/d5b94980d962 by MichaelAza • 12 years ago 1 0 12 years agoMEmedium.com