Skip to content
My master thesis about generic programming and ornaments
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
img
proposal
src
thesis
.gitignore
Makefile
outline.org
presentation.key
proposal.fmt
readme.md
thesis.fmt
todo.org

readme.md

Thesis

This is the source code for my master thesis 'Generic programming with ornaments and dependent types'. The compiled pdf's can be found at my website sijsling.com.

Agda sources

This repository includes a lot of things that have not made it to my thesis. The final library that is presented in my thesis is in the src/Cx folder, and src/Common.agda is used as well. The folder src/Thesis contains code in the thesis that is not directly taken from the actual library. Per section, we indicate where the corresponding Agda code can be found:

You can’t perform that action at this time.