Go to file
Justin Hsu a1d999a150 Make font size larger. 2015-02-05 17:53:02 +01:00
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 .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 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