GitHub repository: liamoc/dddp
Primary language: TeX
Created: 2019-05-20T16:07:11Z
Description: Deferring the Details and Deriving Programs