_site
|
Remove "part 1" in title
|
2019-03-17 17:34:01 +01:00 |
css
|
Fix theorem numbering
|
2018-11-20 22:12:36 +01:00 |
files
|
Initial commit
|
2018-11-13 20:00:01 +01:00 |
images
|
Add Master's thesis
|
2018-11-21 21:32:36 +01:00 |
posts
|
Remove "part 1" in title
|
2019-03-17 17:34:01 +01:00 |
projects
|
Fix formatting
|
2018-11-22 08:20:24 +01:00 |
templates
|
Add Master's thesis
|
2018-11-21 21:32:36 +01:00 |
.gitignore
|
Publish site
|
2018-11-13 20:17:23 +01:00 |
contact.org
|
Change contact page
|
2018-11-14 21:36:32 +01:00 |
cv.org
|
Initial commit
|
2018-11-13 20:00:01 +01:00 |
index.html
|
Add some projects to the homepage
|
2018-11-21 21:39:22 +01:00 |
newblog.cabal
|
Initial commit
|
2018-11-13 20:00:01 +01:00 |
site.hs
|
Add projects
|
2018-11-14 21:32:49 +01:00 |
skills.org
|
Initial commit
|
2018-11-13 20:00:01 +01:00 |
stack.yaml
|
Initial commit
|
2018-11-13 20:00:01 +01:00 |