GitHub - liamoc/dddp: Deferring the Details and Deriving Programs

liamoc / dddp Public

Notifications You must be signed in to change notification settings
Fork 1
Star 14

Deferring the Details and Deriving Programs

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
paper		paper
src
talk		talk
.gitignore		.gitignore
README		README

Repository files navigation

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.