|
bibs
|
Update contacts and news.
|
2015-01-26 15:38:12 +01:00 |
|
content
|
Update contacts and news.
|
2015-01-26 15:38:12 +01:00 |
|
css
|
Add a bit more padding around banner.
|
2015-01-26 15:42:15 +01:00 |
|
files
|
Add POPL slides.
|
2015-01-26 15:37:55 +01:00 |
|
images
|
Makefile and deploy.
|
2015-01-04 22:20:06 -08:00 |
|
scripts
|
Fix deploy problems.
|
2015-01-04 23:50:50 -08:00 |
|
templates
|
Correctly capitalize arXiv.
|
2015-01-12 15:36:52 +01:00 |
|
.gitignore
|
.gitignore.
|
2015-01-04 20:44:07 -08:00 |
|
Bibtex.hs
|
Initial version of site almost ready.
|
2015-01-04 20:43:45 -08:00 |
|
HakyllBibTex.hs
|
Initial version of site almost ready.
|
2015-01-04 20:43:45 -08:00 |
|
Makefile
|
Makefile and deploy.
|
2015-01-04 22:20:06 -08:00 |
|
index.html
|
Initial version of site almost ready.
|
2015-01-04 20:43:45 -08:00 |
|
site.hs
|
Fix deploy problems.
|
2015-01-04 23:50:50 -08:00 |
2d330f59fb