gdijkstra/types-2015-slides
Slides for presentation at TYPES 2015
Developer Profile
gdijkstra
Discovered public repositories for gdijkstra in the GitHub catalog.
gdijkstra/homotopy-initiality
Establishing homotopy initiality for a general class of 1-HITs
gdijkstra/containers
Some code regarding (generalised) containers
gdijkstra/blog
Source files of my blog
gdijkstra/gdijkstra.github.io
Personal site
gdijkstra/hakyll-agda
Hakyll support for Agda literate files
gdijkstra/fplad2014
Functional Programming Lab Away Day 2014
gdijkstra/first-year-report
First year report
gdijkstra/hprop-erasibility
Master thesis
gdijkstra/hs-to-gallina
Experimentation project