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:
Haskell
88.8%
TeX
10.1%
Agda
1.0%
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:
Haskell
88.8%
TeX
10.1%
Agda
1.0%