Erik Hinton (Interactive Developer, The New York Times) talks about the paper The Derivative of a Regular Type Is its Type of One-Hole Contexts by Conor McBride.

Continue