Brent's PhD thesis.
Haskell TeX Other
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
agda
defense
images
proposal
.gitignore
Bijections.hs
CompNotSymmTemp.hs
GraphViz.hs
HoTT-coends.txt
Inkcov.hs
KanExtensions.hs
README.md
Shake.hs
SpeciesDiagrams.hs
Structures.hs
SumPermDiagrams.hs
Yorgey-thesis-final-2014-11-14-COLOR.pdf
Yorgey-thesis-final-2014-11-14-GRAY.pdf
Yorgey-thesis-final-2014-11-14.pdf
Yorgey-thesis-final-2014-11-17-GRAY.pdf
Yorgey-thesis-final-2014-11-17.pdf
abstract.tex
abstract_UMI.txt
acks.tex
boring
colorpages.sh
colorpages.txt
conclusion.lhs
defs.lhs
defs.sty
dump.txt
equality.lhs
generalized.lhs
gf.lhs
graypages.txt
inkcov.txt
intro.lhs
labelled.lhs
liftproof.lhs
notes.org
pages.txt
prelim.lhs
spe-closed-Cauchy.txt
species.lhs
thesis-final-draft-2014-09-23.pdf
thesis.bib
thesis.fmt
thesis.log.pulp
thesis.tex
timeline.txt
variants.lhs

README.md

Since I believe in open research, I'm writing my thesis here in public. Feel free to comment, ask questions, point out typos, chide me for not working faster, etc.

You can find an auto-updated build of the current PDF here.

Time spent on my thesis:

Page count: