_site
|
Add a description tag, and minify image further
|
2020-04-02 15:08:08 +02:00 |
bib
|
Update draft on symbol grounding
|
2020-02-03 18:49:59 +01:00 |
csl
|
Add bibliography and references management
|
2019-04-03 20:37:53 +02:00 |
css
|
Update CSS
|
2019-04-16 22:56:57 +02:00 |
files
|
Update CV
|
2020-04-02 14:30:58 +02:00 |
images
|
Add a description tag, and minify image further
|
2020-04-02 15:08:08 +02:00 |
posts
|
Remove draft post
|
2020-03-17 16:41:15 +01:00 |
projects
|
Fix formatting
|
2018-11-22 08:20:24 +01:00 |
templates
|
Add a description tag, and minify image further
|
2020-04-02 15:08:08 +02:00 |
.gitignore
|
Ignore auto-generated bibliography files
|
2020-04-02 14:31:16 +02:00 |
contact.org
|
Add minisign public key and file signatures
|
2019-07-17 20:55:52 +02:00 |
cv.org
|
Update CV
|
2020-04-02 14:30:58 +02:00 |
favicon.ico
|
Add favicon
|
2020-04-02 14:54:42 +02:00 |
index.html
|
Add a description tag, and minify image further
|
2020-04-02 15:08:08 +02:00 |
newblog.cabal
|
Add links to references
|
2020-03-27 17:42:24 +01:00 |
README.org
|
Add README file
|
2019-04-05 18:26:50 +02:00 |
site.hs
|
Add favicon
|
2020-04-02 14:54:42 +02: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 |
stack.yaml.lock
|
Add Stack lock file
|
2019-06-19 22:20:57 +02:00 |