GitHub repository: webyrd/dissertation-single-spaced
Primary language: TeX
Description: Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'