fredrikNordvallForsberg/diffCont

Containers can be made into a Cartesian Differential Category

Agda