Report - Conor McBride: The Derivative of a Regular Type is its Type of … · 2015-06-14 · Making a zipper from holes We now have a way of taking apart one level of an inductive data structure

Please pass captcha verification before submit form