liamoc / dddp
Licence: other
Deferring the Details and Deriving Programs
Stars: ✭ 14
This contains the source code for the TyDe 2019 paper, "Deferring the details and deriving programs". The paper pre-print (will shortly be) available on my personal website. The Agda source code is in the src directory. The file Index.agda outlines the various modules in the development. The paper directory contains the (ugly) LaTeX source code for the paper, and the talk directory contains the (ugly) LaTeX source code for the talk slides.
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].