| .. |
|
appendix
|
Erratta
|
2018-05-28 17:32:56 +02:00 |
|
assets
|
Add Chalmers logo to front page
|
2018-09-11 15:16:14 +02:00 |
|
.gitignore
|
Fixup some missing files
|
2018-05-31 01:07:05 +02:00 |
|
BACKLOG.md
|
Final presentation
|
2018-06-07 15:20:14 +02:00 |
|
Makefile
|
Encourage people to read my report
|
2018-05-08 22:46:17 +02:00 |
|
abstract.tex
|
Old unstaged changes
|
2018-07-17 16:51:16 +02:00 |
|
acknowledgements.tex
|
Fixup some missing files
|
2018-05-31 01:07:05 +02:00 |
|
appendix.tex
|
Fix spelling mistakes
|
2018-05-08 00:25:34 +02:00 |
|
chalmerstitle.sty
|
Add Chalmers logo to front page
|
2018-09-11 15:16:14 +02:00 |
|
conclusion.tex
|
Old unstaged changes
|
2018-07-17 16:51:16 +02:00 |
|
cubical.tex
|
Old unstaged changes
|
2018-07-17 16:51:16 +02:00 |
|
discussion.tex
|
Old unstaged changes
|
2018-07-17 16:51:16 +02:00 |
|
feedback-meeting-andrea.txt
|
Add backlog based on comments from Andrea, implement some of them
|
2018-05-23 17:34:50 +02:00 |
|
feedback.txt
|
Finish section on category of sets
|
2018-04-24 14:13:10 +02:00 |
|
halftime.tex
|
Fix spacing after 'e.g.' and 'i.e.'
|
2018-05-16 11:01:07 +02:00 |
|
implementation.tex
|
Old unstaged changes
|
2018-07-17 16:51:16 +02:00 |
|
introduction.tex
|
Old unstaged changes
|
2018-07-17 16:51:16 +02:00 |
|
macros.tex
|
Use smaller symbols for arrows in presentation
|
2018-10-29 12:39:12 +01:00 |
|
main.tex
|
Add Chalmers logo to front page
|
2018-09-11 15:16:14 +02:00 |
|
packages.tex
|
Add Chalmers logo to front page
|
2018-09-11 15:16:14 +02:00 |
|
planning.tex
|
Finish section on propositionality of products and start on monads
|
2018-05-01 18:55:28 +02:00 |
|
presentation.tex
|
Use smaller symbols for arrows in presentation
|
2018-10-29 12:39:12 +01:00 |
|
refs.bib
|
Various changes
|
2018-05-07 10:13:13 +02:00 |
|
sources.tex
|
Remove all my beloved contractions :(
|
2018-05-09 18:47:12 +02:00 |
|
title.tex
|
Fixup some missing files
|
2018-05-31 01:07:05 +02:00 |
Frederik Hanghøj Iversen
8f15001a93