You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
Justin Hsu b9cc9668c2 Add POPL accept. 2 months ago
app New flag `jhsite` to control site display. 6 months ago
bibs Add POPL accept. 2 months ago
content Add POPL accept. 2 months ago
css Make separate section for invited chapters and surveys. 6 months ago
files Add OPLSS 2021. 6 months ago
images Change image. 6 years ago
scripts Add setup script. 4 years ago
templates Disable Google analytics. 2 months ago
.gitignore Gitignore. 1 year ago
LICENSE Switch to cabal builds. 1 year ago
Makefile Switch to cabal builds. 1 year ago
index.html Disable Google analytics. 2 months ago
justin-site.cabal Bump GHC version to 8.10. 1 year ago