bibs
|
Use Last, First ordering on authors.
|
2015-02-05 17:52:32 +01:00 |
content
|
Update contacts and news.
|
2015-01-26 15:38:12 +01:00 |
css
|
Make font size larger.
|
2015-02-05 17:53:02 +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
|
Ignore site binary.
|
2015-02-05 18:19:54 +01:00 |
Bibtex.hs
|
Initial version of site almost ready.
|
2015-01-04 20:43:45 -08:00 |
HakyllBibTex.hs
|
Format author names.
|
2015-02-05 17:52:55 +01: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 |